|
|
   Soaking
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Soaking EnglishLanguage "Soaking refers to the process of Wetting wherein an Object is Surrounded by FreshWater") | Mid-level-ontology.kif 26556-26557 | |
| (subclass Soaking Wetting) | Mid-level-ontology.kif 26555-26555 |
| appearance as argument number 2 |
|
|
| (subclass CoffeeMaking Soaking) | Food.kif 650-650 | |
| (termFormat EnglishLanguage Soaking "soaking") | Mid-level-ontology.kif 26558-26558 |
| antecedent |
|
|
| (=> (instance ?SOAK Soaking) (exists (?WATER ?OBJ) (and (instance ?OBJ Object) (patient ?SOAK ?OBJ) (instance ?WATER FreshWater) (resource ?SOAK ?WATER) (holdsDuring ?SOAK (orientation ?OBJ ?WATER Surrounded))))) |
Mid-level-ontology.kif 26560-26569 |
| consequent |
|
|
| (=> (instance ?CM CoffeeMaking) (exists (?S ?W ?CG) (and (subProcess ?S ?CM) (instance ?S Soaking) (resource ?S ?W) (instance ?W DrinkingWater) (patient ?S ?CG) (instance ?CG CoffeeGrind)))) |
Food.kif 675-684 | |
| (=> (instance ?CM CoffeeMaking) (holdsDuring ?CM (exists (?LM ?S ?R) (and (instance ?LM LiquidMotion) (instance ?S Soaking) (instance ?R Removing) (before (BeginFn (WhenFn ?LM)) (BeginFn (WhenFn ?S))) (before (BeginFn (WhenFn ?S)) (BeginFn (WhenFn ?R))))))) |
Food.kif 703-716 | |
| (=> (instance ?X GrecianTub) (hasPurpose ?X (exists (?HUMAN ?SOAK) (and (instance ?SOAK Soaking) (instance ?HUMAN Human) (agent ?SOAK ?HUMAN) (patient ?SOAK ?HUMAN) (eventLocated ?SOAK ?X))))) |
Mid-level-ontology.kif 26577-26586 |
|
|
|