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 15133-15135
No TPTP formula. May not be expressible in strict first order. Merge.kif 15132-15132 器官 是 身体部位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11270-11270 Bladder 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12828-12828 乳房 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12139-12139 耳 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12105-12105 眼睛 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12177-12177 EyeIris 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9521-9521 花 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11978-11978 Gallbladder 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15142-15142 腺 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11444-11444 神经系统 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12188-12188 鼻子 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12006-12006 胰腺 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9600-9600 PlantAreole 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9468-9468 PlantLeaf 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9500-9500 植物根 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9576-9576 PlantSpinoseStructure 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9533-9533 PlantStem 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12068-12068 Rectum 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11051-11051 视网膜 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10937-10937 脊柱 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10951-10951 脊髓 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11284-11284 脾 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12023-12023 胃 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11829-11829 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 15137-15140

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9395-9401
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 24033-24038
No TPTP formula. May not be expressible in strict first order. Merge.kif 10197-10204


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