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 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