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 and PreparedFoodAttribute |
(relatedInternalConcept HulledAttribute FermentedAttribute) | Food.kif 154-154 | 相關的內部概念 HulledAttribute and FermentedAttribute |
(relatedInternalConcept HulledAttribute RawAttribute) | Food.kif 155-155 | 相關的內部概念 HulledAttribute and 生食 |
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 |