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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TasteAttribute

 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 17628-17629
No TPTP formula. May not be expressible in strict first order. Merge.kif 17627-17627 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 13573-13580
No TPTP formula. May not be expressible in strict first order. Merge.kif 17631-17636


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

Show without tree


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