Prefix(:=<https://github.com/ontodev/robot/examples/uvula_multiple_unsat_all_explanation.ofn#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)


Ontology(<https://github.com/ontodev/robot/examples/uvula_multiple_unsat_all_explanation.ofn>

Declaration(Class(<http://purl.obolibrary.org/obo/CL_0000100>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0000479>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0001134>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0001630>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0001733>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0002384>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0003082>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0003682>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0010000>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0010235>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0011821>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0011822>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0011823>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0011899>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0014892>))
Declaration(Class(<http://purl.obolibrary.org/obo/UBERON_0017650>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/BFO_0000050>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0002202>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0002219>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0002473>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/uberon/core#synapsed_by>))

############################
#   Object Properties
############################

# Object Property: <http://purl.obolibrary.org/obo/BFO_0000050> (part of)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/BFO_0000050> "part of")

# Object Property: <http://purl.obolibrary.org/obo/RO_0002202> (develops_from)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/RO_0002202> "develops_from")

# Object Property: <http://purl.obolibrary.org/obo/RO_0002219> (surrounded_by)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/RO_0002219> "surrounded_by")

# Object Property: <http://purl.obolibrary.org/obo/RO_0002473> (composed primarily of)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/RO_0002473> "composed primarily of")

# Object Property: <http://purl.obolibrary.org/obo/uberon/core#synapsed_by> (synapsed by)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/uberon/core#synapsed_by> "synapsed by")



############################
#   Classes
############################

# Class: <http://purl.obolibrary.org/obo/CL_0000100> (motor neuron)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/CL_0000100> "motor neuron")

# Class: <http://purl.obolibrary.org/obo/UBERON_0000479> (tissue)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0000479> "tissue")
SubClassOf(<http://purl.obolibrary.org/obo/UBERON_0000479> <http://purl.obolibrary.org/obo/UBERON_0010000>)

# Class: <http://purl.obolibrary.org/obo/UBERON_0001134> (skeletal muscle tissue)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0001134> "skeletal muscle tissue")
SubClassOf(<http://purl.obolibrary.org/obo/UBERON_0001134> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/UBERON_0014892>))

# Class: <http://purl.obolibrary.org/obo/UBERON_0001630> (muscle organ)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0001630> "muscle organ")

# Class: <http://purl.obolibrary.org/obo/UBERON_0001733> (soft palate)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0001733> "soft palate")

# Class: <http://purl.obolibrary.org/obo/UBERON_0002384> (connective tissue)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0002384> "connective tissue")
SubClassOf(<http://purl.obolibrary.org/obo/UBERON_0002384> <http://purl.obolibrary.org/obo/UBERON_0000479>)

# Class: <http://purl.obolibrary.org/obo/UBERON_0003082> (myotome)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0003082> "myotome")

# Class: <http://purl.obolibrary.org/obo/UBERON_0003682> (palatal muscle)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0003682> "palatal muscle")
EquivalentClasses(<http://purl.obolibrary.org/obo/UBERON_0003682> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/UBERON_0014892> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/UBERON_0001733>)))
DisjointClasses(<http://purl.obolibrary.org/obo/UBERON_0003682> <http://purl.obolibrary.org/obo/UBERON_0010235>)

# Class: <http://purl.obolibrary.org/obo/UBERON_0010000> (multicellular anatomical structure)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0010000> "multicellular anatomical structure")

# Class: <http://purl.obolibrary.org/obo/UBERON_0010235> (uvular muscle)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0010235> "uvular muscle")
SubClassOf(<http://purl.obolibrary.org/obo/UBERON_0010235> <http://purl.obolibrary.org/obo/UBERON_0003682>)

# Class: <http://purl.obolibrary.org/obo/UBERON_0011821> (irregular connective tissue)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0011821> "irregular connective tissue")
SubClassOf(<http://purl.obolibrary.org/obo/UBERON_0011821> <http://purl.obolibrary.org/obo/UBERON_0002384>)

# Class: <http://purl.obolibrary.org/obo/UBERON_0011822> (dense irregular connective tissue)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0011822> "dense irregular connective tissue")
SubClassOf(<http://purl.obolibrary.org/obo/UBERON_0011822> <http://purl.obolibrary.org/obo/UBERON_0011821>)
SubClassOf(<http://purl.obolibrary.org/obo/UBERON_0011822> <http://purl.obolibrary.org/obo/UBERON_0011823>)

# Class: <http://purl.obolibrary.org/obo/UBERON_0011823> (dense connective tissue)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0011823> "dense connective tissue")

# Class: <http://purl.obolibrary.org/obo/UBERON_0011899> (epimysium)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0011899> "epimysium")
SubClassOf(<http://purl.obolibrary.org/obo/UBERON_0011899> <http://purl.obolibrary.org/obo/UBERON_0011822>)

# Class: <http://purl.obolibrary.org/obo/UBERON_0014892> (skeletal muscle organ)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0014892> "skeletal muscle organ")
EquivalentClasses(<http://purl.obolibrary.org/obo/UBERON_0014892> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/UBERON_0001630> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002202> <http://purl.obolibrary.org/obo/UBERON_0003082>) ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002219> <http://purl.obolibrary.org/obo/UBERON_0011899>) ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002473> <http://purl.obolibrary.org/obo/UBERON_0001134>) ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/uberon/core#synapsed_by> <http://purl.obolibrary.org/obo/CL_0000100>)))

# Class: <http://purl.obolibrary.org/obo/UBERON_0017650> (developing mesenchymal structure)

AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UBERON_0017650> "developing mesenchymal structure")


DisjointClasses(<http://purl.obolibrary.org/obo/UBERON_0010000> <http://purl.obolibrary.org/obo/UBERON_0011823> <http://purl.obolibrary.org/obo/UBERON_0017650>)
)