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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Smelling
Smelling
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3313-3314
No TPTP formula. May not be expressible in strict first order. Merge.kif 13579-13580
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7895-7895
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7898-7898
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7900-7900
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7899-7899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7896-7896
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6867-6867
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7894-7894
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7901-7901
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7902-7902
No TPTP formula. May not be expressible in strict first order. Merge.kif 13578-13578 子類 Smelling and Perception

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1218-1218
No TPTP formula. May not be expressible in strict first order. english_format.kif 1657-1657
No TPTP formula. May not be expressible in strict first order. french_format.kif 896-896
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 429-429
No TPTP formula. May not be expressible in strict first order. terms-it.txt 432-432
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2580-2580
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 848-848
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 434-434
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 468-468
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 917-917
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 433-433

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13582-13589

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


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