|
|
  DryRoastAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DryRoastAttribute EnglishLanguage "DryRoastAttribute describes how DryRoasting is involved in preparing Food.") | Food.kif 110-111 | |
| (instance DryRoastAttribute PreparedFoodAttribute) | Food.kif 107-107 | DryRoastAttribute è un' istanza di PreparedFoodAttribute |
| (relatedInternalConcept DryRoastAttribute CoffeeGrindAttribute) | Food.kif 109-109 | DryRoastAttribute è interamente correlato a CoffeeGrindAttribute |
| (relatedInternalConcept DryRoastAttribute CoffeeRoastAttribute) | Food.kif 108-108 | DryRoastAttribute è interamente correlato a CoffeeRoastAttribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DryRoastAttribute "dry roast") | Food.kif 112-112 | |
| (termFormat EnglishLanguage DryRoastAttribute "hulled") | Food.kif 158-158 |
| antecedent |
|
|
| (=> (attribute ?F DryRoastAttribute) (exists (?X) (and (instance ?X DryRoasting) (result ?X ?F)))) |
Food.kif 114-119 |
|
| 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 |
|
|
|
|