Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RawAttribute(raw food)
|
| appearance as argument number 1 |
|
| (instance RawAttribute PreparedFoodAttribute) | Food.kif 46-46 | Raw food is an instance of prepared food attribute |
| (documentation RawAttribute EnglishLanguage "RawAttribute describes how heating was not involved in the making of something.") | Food.kif 47-48 | Raw food is an instance of prepared food attribute |
| (externalImage RawAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ FoodMeat.jpg") | pictureList.kif 911-911 | Raw food is an instance of prepared food attribute |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept CookedAttribute RawAttribute) | Food.kif 31-31 | Cooked is internally related to raw food |
| (termFormat EnglishLanguage RawAttribute "raw") | Food.kif 49-49 | Cooked is internally related to raw food |
| (relatedInternalConcept CuredAttribute RawAttribute) | Food.kif 65-65 | Cured is internally related to raw food |
| (relatedInternalConcept HulledAttribute RawAttribute) | Food.kif 155-155 | Hulled is internally related to raw food |
| (relatedInternalConcept FermentedAttribute RawAttribute) | Food.kif 206-206 | Fermented is internally related to raw food |
| (termFormat EnglishLanguage RawAttribute "raw food") | domainEnglishFormat.kif 48813-48813 | Fermented is internally related to raw food |
| (termFormat ChineseTraditionalLanguage RawAttribute "生食") | domainEnglishFormat.kif 48814-48814 | Fermented is internally related to raw food |
| (termFormat ChineseLanguage RawAttribute "生食") | domainEnglishFormat.kif 48815-48815 | Fermented is internally related to raw food |
| antecedent |
|
|
| (=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism))) |
Food.kif 51-53 | If raw food is an attribute of X, then X is an instance of food for organism |
| (=> (attribute ?FOOD RawAttribute) (not (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD))))) |
Food.kif 55-61 | If raw food is an attribute of X, then there doesn't exist Y such that Y is an instance of heating and X is a result of Y |
| consequent |
|
|
| (=> (instance ?F Flour) (attribute ?F RawAttribute)) |
Food.kif 1470-1472 | If X is an instance of flour, then raw food is an attribute of X |
| (=> (instance ?D Dough) (attribute ?D RawAttribute)) |
Food.kif 1591-1593 | If X is an instance of dough, then raw food is an attribute of X |
|