Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Stirring
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Stirring LiquidMotion) | Mid-level-ontology.kif 19448-19448 | Stirring is a subclass of liquid motion |
| (subclass Stirring Combining) | Mid-level-ontology.kif 19449-19449 | Stirring is a subclass of combining |
| (documentation Stirring EnglishLanguage "Any instance of LiquidMotion which is also an instance of Combining two or more Liquids.") | Mid-level-ontology.kif 19450-19451 | Stirring is a subclass of combining |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
|