Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Soaking(soaking) |  | brine, douse, dowse, drench, imbue, soak, sop, souse |
| appearance as argument number 1 |
|
|
| (subclass Soaking Wetting) | Mid-level-ontology.kif 29116-29116 | Soaking is a subclass of wetting |
| (documentation Soaking EnglishLanguage "Soaking refers to the process of Wetting wherein an Object is Surrounded by FreshWater") | Mid-level-ontology.kif 29117-29118 | Soaking is a subclass of wetting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Soaking "soaking") | Mid-level-ontology.kif 29119-29119 | |
| (subclass CoffeeMaking Soaking) | Food.kif 626-626 | Coffee making is a subclass of soaking |
| 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 29121-29130 | If X is an instance of soaking, then there exist Y, Z such that Z is an instance of object, Z is a patient of X, Y is an instance of freshwater, Y is a resource for X, and Z is surrounded by to Y holds during X |
| consequent |
|
|
| (=> (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 29138-29147 | If X is an instance of grecian tub, then X has the purpose there exist Y, Z such that Z is an instance of soaking, Y is an instance of human, Y is an agent of Z, Y is a patient of Z, and Z is located at X |
| (=> (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 651-660 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of soaking (4) Z is a resource for Y (5) Z is an instance of potable water (6) W is a patient of Y (7) W is an instance of coffee grind |
| (=> (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 679-692 | If X is an instance of coffee making, then there exist Y, Z, W such that Y is an instance of liquid motion, Z is an instance of soaking, W is an instance of removing, the beginning of the time of existence of Y happens before the beginning of the time of existence of Z, and the beginning of the time of existence of Z happens before the beginning of the time of existence of W holds during X |
|