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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TasteAttribute
TasteAttribute(Atributo Gustativo)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3937-3938
No TPTP formula. May not be expressible in strict first order. Merge.kif 17707-17708
No TPTP formula. May not be expressible in strict first order. Merge.kif 17706-17706 Atributo Gustativo e' uma sub-classe de Atributo de Percepcao

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2106-2106 Bitterness e' uma instancia de Atributo Gustativo
No TPTP formula. May not be expressible in strict first order. Food.kif 2114-2114 Saltiness e' uma instancia de Atributo Gustativo
No TPTP formula. May not be expressible in strict first order. Food.kif 2110-2110 Sourness e' uma instancia de Atributo Gustativo
No TPTP formula. May not be expressible in strict first order. Food.kif 2102-2102 Sweetness e' uma instancia de Atributo Gustativo
No TPTP formula. May not be expressible in strict first order. Food.kif 2118-2118 UmamiTaste e' uma instancia de Atributo Gustativo
No TPTP formula. May not be expressible in strict first order. Economy.kif 4401-4401 FlavourAttribute e' uma sub-classe de Atributo Gustativo
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1249-1249
No TPTP formula. May not be expressible in strict first order. english_format.kif 1719-1719
No TPTP formula. May not be expressible in strict first order. french_format.kif 927-927
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 461-461
No TPTP formula. May not be expressible in strict first order. terms-it.txt 464-464
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2611-2611
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 879-879
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 466-466
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 500-500
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 948-948
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 465-465

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13619-13626
No TPTP formula. May not be expressible in strict first order. Merge.kif 17710-17715


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