Ontology: <http://x.org/limb.owl>
Prefix: obo: <http://purl.obolibrary.org/obo/>
Prefix: occurs_in: <http://purl.obolibrary.org/obo/BFO_0000066>
Prefix: enabled_by: <http://purl.obolibrary.org/obo/enabled_by>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Prefix: : <http://x.org/>

AnnotationProperty: desiredPartOf
  Annotations: rdfs:comment "a hidden X SubClassOf part_of some Y link that indicates that it is desired the reasoner infers this"
ObjectProperty: part_of InverseOf: has_part Characteristics: transitive
ObjectProperty: has_part
ObjectProperty: has_output

## LIMB ONTOLOGY
Class: organism
Class: limb SubClassOf: part_of some organism
Class: forelimb SubClassOf: limb
Class: hindlimb SubClassOf: limb
Class: autopod SubClassOf: part_of some limb
Class: hand EquivalentTo: autopod and part_of some forelimb
Class: foot EquivalentTo: autopod and part_of some hindlimb
Class: digit SubClassOf: part_of some autopod
Class: phalanx SubClassOf: part_of some digit
Class: finger EquivalentTo: digit and part_of some hand
Class: toe EquivalentTo: digit and part_of some foot

## DEVELOPMENT ONTOLOGY
Class: development
Class: organism_development EquivalentTo: development and has_output some organism

Class: limb_development EquivalentTo: development and has_output some limb
   Annotations: desiredPartOf organism_development

Class: autopod_development EquivalentTo: development and has_output some autopod
   Annotations: desiredPartOf limb_development

Class: digit_development EquivalentTo: development and has_output some digit
   Annotations: desiredPartOf autopod_development

Class: phalanx_development EquivalentTo: development and has_output some phalanx
   Annotations: desiredPartOf digit_development