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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Neck

 Sigma KEE - Neck
Neck(颈部)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12871-12872
No TPTP formula. May not be expressible in strict first order. pictureList.kif 137-137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12869-12869 颈部 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12870-12870 颈部 是 身体部位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40065-40065
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40064-40064
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40063-40063

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5119-5127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5085-5093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18476-18487


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