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 12090-12090 connectedBodyPart 鼻子 and Trachea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12190-12190
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 12189-12189 鼻子 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12188-12188 鼻子 是 器官 的 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 12192-12194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12196-12201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11316-11324

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6121-6139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6088-6094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11326-11332