Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass TasteAttribute PerceptualAttribute) | Merge.kif 17984-17984 | Taste attribute is a subclass of perceptual attribute |
| (documentation TasteAttribute EnglishLanguage "The Class of Attributes relating to the taste of Objects.") | Merge.kif 17985-17986 | Taste attribute is a subclass of perceptual attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?TASTE Tasting) (patient ?TASTE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 13883-13890 | If X is an instance of tasting and Y is a patient of X, then there exists Z such that Z is an instance of taste attribute and Z is an attribute of Y |
| (=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17988-17993 | If X is an instance of food for animal, then there exists Y such that Y is an instance of taste attribute and Y is an attribute of X |
|