Table 2 Example axioms

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