Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organ
Organ(organ)CNS, GU, MPS, RES, Roman_nose, agonadal, anlage, antheridium, articulator, athlete's_heart, auditory_apparatus, auditory_system, baroreceptor, beak, biauriculate_heart, bladderlike, bladdery, boob, book_lung, bosom, branchia, breast, button, calyx_tube, cardiac, caudal_fin, central_nervous_system, ceras, cerebral, cerebrally, cerebrospinal, chemoreceptor, clit, clitoris, cock, conk, contractile_organ, contractor, craw, crop, crotch, ctenidium, cunt, cupule, dick, dorsal_fin, effector, ego, enteroceptor, entrails...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3519-3520
No TPTP formula. May not be expressible in strict first order. Merge.kif 15111-15113
No TPTP formula. May not be expressible in strict first order. Merge.kif 15110-15110 Organ is a subclass of body part

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11271-11271 Bladder is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12829-12829 Breast is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12140-12140 Ear is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12106-12106 Eye is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12178-12178 Eye iris is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9522-9522 Flower is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11979-11979 Cholecyst is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Merge.kif 15120-15120 Gland is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11445-11445 Nervous system is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12189-12189 Nose is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12007-12007 Pancreas is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9601-9601 Plant areole is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9469-9469 Plant leaf is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9501-9501 Plant root is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9577-9577 Plant spinose structure is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9534-9534 Plant stem is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12069-12069 Rectum is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11052-11052 Retina is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10938-10938 Spinal column is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10952-10952 Spinal cord is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11285-11285 Spleen is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12024-12024 Stomach is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11830-11830 Vital organ is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 785-785 Vocal cords is a subclass of organ
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1023-1023

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15115-15118

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9396-9402
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4642-4651
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4634-4640
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24034-24039
No TPTP formula. May not be expressible in strict first order. Merge.kif 10175-10182


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners