| 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 26511-26512 | |
| (subclass Soaking Wetting) | Mid-level-ontology.kif 26510-26510 | 子類 Soaking and Wetting |
| appearance as argument number 2 |
|
|
| (subclass CoffeeMaking Soaking) | Food.kif 650-650 | 子類 CoffeeMaking and Soaking |
| (termFormat EnglishLanguage Soaking "soaking") | Mid-level-ontology.kif 26513-26513 |
| 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 26515-26524 |
| 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 26532-26541 |
|
|
|