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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nose

 Sigma KEE - Nose
Nose(鼻子)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12091-12091 connectedBodyPart 鼻子 and Trachea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12191-12191
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7456-7456
No TPTP formula. May not be expressible in strict first order. pictureList.kif 139-139
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7457-7457
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12190-12190 鼻子 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12189-12189 鼻子 是 器官 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41271-41271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41270-41270
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41269-41269

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12193-12195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12197-12202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11317-11325

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6122-6140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6089-6095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11327-11333

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5227-5227 AllergicRhinitis 是 InflammationFn 鼻子 的 subAttribute


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