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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OlfactoryAttribute
OlfactoryAttribute(Atributo Olfactivo)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3939-3939
No TPTP formula. May not be expressible in strict first order. Merge.kif 17718-17719
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8627-8627
No TPTP formula. May not be expressible in strict first order. Merge.kif 17717-17717 Atributo Olfactivo e' uma sub-classe de Atributo de Percepcao

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1250-1250
No TPTP formula. May not be expressible in strict first order. english_format.kif 1721-1721
No TPTP formula. May not be expressible in strict first order. french_format.kif 928-928
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 462-462
No TPTP formula. May not be expressible in strict first order. terms-it.txt 465-465
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2612-2612
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 880-880
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 501-501
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 949-949
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 466-466

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13606-13613


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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