TreeView Knowledge Base Browser - TasteAttribute

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TasteAttribute

TasteAttribute(taste attribute)

acerbity, acetify, acetose, acetous, acidify, acidity, acidulate, acidulousness, acrid, acridity, acridness, acuity, acuteness, ambrosial, ambrosian, appetising, appetisingness, appetizing, appetizingness, astringence, astringency, bite, bitter, bitterness, bittersweet, bland, blandness, brut, choice, coarseness, corked, corky, crisp, dainty, delectability, delectable, delicious, deliciousness, disgustingness, distastefulness, dry, dulcify, dulcorate, edulcorate, flat, flavorful, flavorless, flavorlessness, flavorous, flavorsome...

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	Taste attribute is a subclass of perceptual attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2106-2106	Bitterness is an instance of taste attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 2114-2114	Saltiness is an instance of taste attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 2110-2110	Sourness is an instance of taste attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 2102-2102	Sweetness is an instance of taste attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 2118-2118	Umami taste is an instance of taste attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4401-4401	Flavour attribute is a subclass of taste attribute
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	If a process is an instance of tasting and an object is a patient of the process, then there exists an attribute such that the attribute is an instance of taste attribute and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17631-17636	If an object is an instance of food for animal, then there exists an attribute such that the attribute is an instance of taste attribute and the attribute is an attribute of the object

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