HulledAttribute |
appearance as argument number 1 |
(documentation HulledAttribute EnglishLanguage "HulledAttribute describes how Hulling is involved in preparing Food.") | Food.kif 156-157 | |
(instance HulledAttribute PreparedFoodAttribute) | Food.kif 153-153 | HulledAttribute ist ein fall von PreparedFoodAttribute %n{nicht} |
(relatedInternalConcept HulledAttribute FermentedAttribute) | Food.kif 154-154 | HulledAttribute ist innerlich verwandt mit FermentedAttribute %n{nicht} |
(relatedInternalConcept HulledAttribute RawAttribute) | Food.kif 155-155 | HulledAttribute ist innerlich verwandt mit RawAttribute %n{nicht} |
antecedent |
(=> (attribute ?F HulledAttribute) (exists (?X) (and (instance ?X Hulling) (result ?X ?F)))) |
Food.kif 160-165 |
|
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 2449-2461 |
|