Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FermentedAttribute(fermented) |
| appearance as argument number 1 |
|
| (instance FermentedAttribute PreparedFoodAttribute) | Food.kif 205-205 | Fermented is an instance of prepared food attribute |
| (relatedInternalConcept FermentedAttribute RawAttribute) | Food.kif 206-206 | Fermented is internally related to raw food |
| (documentation FermentedAttribute EnglishLanguage "FermentedAttribute describes how Fermentation is involved in the making of something.") | Food.kif 207-208 | Fermented is internally related to raw food |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept CuredAttribute FermentedAttribute) | Food.kif 64-64 | Cured is internally related to fermented |
| (relatedInternalConcept HulledAttribute FermentedAttribute) | Food.kif 154-154 | Hulled is internally related to fermented |
| (termFormat EnglishLanguage FermentedAttribute "fermented") | Food.kif 209-209 | Hulled is internally related to fermented |
| antecedent |
|
|
| (=> (attribute ?FOOD FermentedAttribute) (exists (?F) (and (instance ?F Fermentation) (result ?F ?FOOD)))) |
Food.kif 211-216 | If fermented is an attribute of X, then there exists Y such that Y is an instance of fermentation and X is a result of Y |
| consequent |
|
|
| (=> (instance ?X CocoaLiquor) (exists (?H ?B) (and (instance ?H Heating) (patient ?H ?B) (instance ?B CocoaBean) (attribute ?B DryRoastAttribute) (attribute ?B HulledAttribute) (attribute ?B FermentedAttribute) (result ?H ?X) (holdsDuring ?H (attribute ?X Liquid))))) |
Food.kif 2471-2483 | If X is an instance of cocoa liquor, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of heating (3) Z is a patient of Y (4) Z is an instance of cocoa bean (5) dry roast is an attribute of Z (6) hulled is an attribute of Z (7) fermented is an attribute of Z (8) X is a result of Y (9) liquid is an attribute of X holds during Y |
| (=> (instance ?F FermentedFood) (attribute ?F FermentedAttribute)) |
Food.kif 2812-2814 | If X is an instance of fermented food, then fermented is an attribute of X |
|