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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Organ

 Sigma KEE - Organ
Organ(器官)

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 器官 是 身体部位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11271-11271 Bladder 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12829-12829 乳房 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12140-12140 耳 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12106-12106 眼睛 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12178-12178 EyeIris 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9522-9522 花 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11979-11979 Gallbladder 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15120-15120 腺 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11445-11445 神经系统 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12189-12189 鼻子 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12007-12007 胰腺 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9601-9601 PlantAreole 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9469-9469 PlantLeaf 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9501-9501 植物根 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9577-9577 PlantSpinoseStructure 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9534-9534 PlantStem 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12069-12069 Rectum 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11052-11052 视网膜 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10938-10938 脊柱 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10952-10952 脊髓 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11285-11285 脾 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12024-12024 胃 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11830-11830 VitalOrgan 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 785-785 VocalCords 是 器官 的 subclass
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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