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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Emphysema

 Sigma KEE - Neck
Neck(頸部)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12899-12900
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 12897-12897 子類 頸部 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12898-12898 子類 頸部 and BodyPart

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


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

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5114-5122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5080-5088
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18504-18515


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