Table 2.
Example axioms
| Class | OWL axiom | Module/ontology |
|---|---|---|
| pupil | SubClassOf: part_of some eye | Basic |
| 'proximal phalanx of hand digit 1' | 'EquivalentTo: 'proximal phalanx' and part_of some 'hand digit 1' | Basic |
| 'left lung lobe' | SubClassOf: 'lobe of lung' | Basic |
| 'left lung lobe' | EquivalentTo: 'lobe of lung' and in_left_side_of some lung | Main |
| 'respiratory organ' | EquivalentTo: 'organ' and capable_of some 'GO:respiratory gaseous exchange' | Basic |
| 'dermal skeletal element' | EquivalentTo: 'skeletal element' and develops_from some 'dermal tissue' | Basic |
| GCI | (part_of some 'brain') DisjointWith: (part_of some 'spinal cord') | Main (OWL only) |
| 'superior eyelid tarsus' | EquivalentTo: 'eyelid tarsus' and part_of some 'lower eyelid | Basic |
| 'left eye' | EquivalentTo: 'eye' and part_of some 'left side of body' | Main |
| bone | SubClassOf: in_taxon only NCBItaxon:'Vertebrata' | Merged (OWL only) |
| Interdigital region between forelimb digits 2 and 3 of 5 | EquivalentTo: 'interdigital region' and adjacent_to some 'forelimb digit 2/5' and adjacent_to some 'forelimb digit 3/5' | Main |
| 'thoracic mammary gland' | EquivalentTo: 'mammary gland' and part_of some 'thorax' | Basic |
| FMA:'mammary gland' | EquivalentTo 'thoracic mammary gland' and part_of some NCBItaxon:'Homo sapiens' | FMA bridge |
| GCI | (adenohypophysis and part_of some NCBItaxon:'Tetrapoda') develops_from some 'Rathke's pouch' | Merged |
| CL:'cerebellar granule cell' | EquivalentTo: CL:'granule cell' and part_of some 'cerebellum' | CL |
| GO:'immune response in Peyers patch' | EquivalentTo: GO:'immune response' and occurs_in some 'Peyers patch' | GO logical definitions |
Classes are written as quote-enclosed labels for illustrative purposes. All classes are from Uberon, unless indicated by prefixing the label with the ontology name. The focal class is shown in the first column, and the axiom in the middle column. For General Class Inclusion axioms there is no focal class so we show the entire axiom in the middle column. We indicate the module/version in which the axiom appears-the simple module excludes most relationship types; the main module includes everything in simple, but no external ontology classes. The final two axioms are from external ontologies that reference Uberon.