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 26523-26524 | |
(subclass Soaking Wetting) | Mid-level-ontology.kif 26522-26522 | Soaking 是 润湿 的 subclass |
appearance as argument number 2 |
(subclass CoffeeMaking Soaking) | Food.kif 650-650 | CoffeeMaking 是 Soaking 的 subclass |
(termFormat EnglishLanguage Soaking "soaking") | Mid-level-ontology.kif 26525-26525 |
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 26527-26536 |
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 26544-26553 |