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

Formal Language: 



KB Term:  Term intersection
English Word: 

  connectedBodyPart

 Sigma KEE - connectedBodyPart
connectedBodyPart

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11985-11986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11989-11989 connectedBodyPart 的 1 数量 是 身体部位 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11990-11990 connectedBodyPart 的 2 数量 是 身体部位 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11984-11984 connectedBodyPart 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11983-11983 connectedBodyPart 是 传递关系 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11987-11987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11988-11988

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11994-12004

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1741-1743
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1691-1693

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12091-12091 connectedBodyPart Esophagus and 胃
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12093-12093 connectedBodyPart 肠 and Rectum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12090-12090 connectedBodyPart 口 and Esophagus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12117-12117 connectedBodyPart 口 and Trachea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12118-12118 connectedBodyPart 鼻子 and Trachea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12094-12094 connectedBodyPart Rectum and Anus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12092-12092 connectedBodyPart 胃 and 肠
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12119-12119 connectedBodyPart Trachea and 肺


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