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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nose
Nose(鼻子)

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


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 12218-12218
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 12217-12217 鼻子 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12216-12216 鼻子 是 器官 的 subclass

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12220-12222
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12224-12229
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11344-11352

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6116-6134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6083-6089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11354-11360