Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DryRoasting(dry roasting) |
| appearance as argument number 1 |
|
| (subclass DryRoasting Cooking) | Food.kif 121-121 | Dry roasting is a subclass of cooking |
| (subclass DryRoasting Heating) | Food.kif 122-122 | Dry roasting is a subclass of heating |
| (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 | Dry roasting is a subclass of heating |
| 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 | If X is an instance of dry roasting, Y is an instance of food, and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of heating (3) W is an instance of stirring (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of W takes place during the time of existence of Z (7) Y is a patient of Z (8) Y is a patient of W (9) there don't exist V (10) U such that V is an instance of oil (11) U is an instance of potable water (12) V is a patient of X (13) U is a patient of X holds during X |
| consequent |
|
|
| (=> (attribute ?F DryRoastAttribute) (exists (?X) (and (instance ?X DryRoasting) (result ?X ?F)))) |
Food.kif 114-119 | If dry roast is an attribute of X, then there exists Y such that Y is an instance of dry roasting and X is a result of Y |
| (=> (and (roastedToTemperature ?B ?T) (instance ?B CoffeeBean) (instance ?T RealNumber)) (modalAttribute (exists (?R) (and (instance ?R DryRoasting) (patient ?R ?B))) Likely)) |
Food.kif 455-464 | If X is the temperature at which Y is roasted to, Y is an instance of coffee bean, and X is an instance of real number, then the statement there exists Z such that Z is an instance of dry roasting and Y is a patient of Z has the modal force of likely |
|