|
|
   DryRoasting
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DryRoasting EnglishLanguage "DryRoasting is a process by which heat is applied to dry foodstuffs without the use of Oil or DrinkingWater as a carrier. Dry-roasted foods are stirred as they are roasted to ensure even Heating.[Wikipedia]") | Food.kif 123-125 | |
| (subclass DryRoasting Cooking) | Food.kif 121-121 | DryRoasting 是 烹饪 的 subclass |
| (subclass DryRoasting Heating) | Food.kif 122-122 | DryRoasting 是 加热 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DryRoasting "dry roasting") | Food.kif 126-126 |
| antecedent |
|
|
| (=> (and (instance ?X DryRoasting) (instance ?F Food) (patient ?X ?F)) (holdsDuring ?X (exists (?H ?S) (and (instance ?H Heating) (instance ?S Stirring) (subProcess ?H ?X) (subProcess ?S ?X) (during (WhenFn ?S) (WhenFn ?H)) (patient ?H ?F) (patient ?S ?F) (not (exists (?O ?W) (and (instance ?O Oil) (instance ?W DrinkingWater) (patient ?X ?O) (patient ?X ?W)))))))) |
Food.kif 128-151 |
|
| consequent |
|
|
| (=> (and (roastedToTemperature ?B ?T) (instance ?B CoffeeBean) (instance ?T RealNumber)) (modalAttribute (exists (?R) (and (instance ?R DryRoasting) (patient ?R ?B))) Likely)) |
Food.kif 479-488 | |
| (=> (attribute ?F DryRoastAttribute) (exists (?X) (and (instance ?X DryRoasting) (result ?X ?F)))) |
Food.kif 114-119 |
|
|
|
|