Soaking - Sigma Knowledge base Browser

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	Soaking は濡れの subclass では %n

appearance as argument number 2

(subclass CoffeeMaking Soaking)	Food.kif 650-650	CoffeeMaking は Soaking の subclass では %n
(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

工程は Soaking の instance では %n
オブジェクトエンティティーエンティティーはオブジェクトの instance では %n エンティティーは工程の patient では %n オブジェクトは FreshWater の instance では %n オブジェクトは工程の resource では %n エンティティーは Surrounded 対オブジェクトでは %n は工程の during holds %n{ない}

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	工程は CoffeeMaking の instance では %n 工程オブジェクト and エンティティー工程は工程% の subprocess では %n 工程は Soaking の instance では %n オブジェクトは工程の resource では %n オブジェクトは DrinkingWater の instance では %n エンティティーは工程の patient では %n エンティティーは CoffeeGrind の instance では %n
(=> (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	時間位置は CoffeeMaking の instance では %n エンティティーエンティティー and エンティティーエンティティーは LiquidMotion の instance では %n エンティティーは Soaking の instance では %n エンティティーは除却の instance では %n エンティティーの time の existence の beginning はエンティティーの time の existence の beginning の before に happens %n{ない} エンティティーの time の existence の beginning はエンティティーの time の existence の beginning の before に happens %n{ない} は時間位置の during holds %n{ない}
(=> (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	物理は GrecianTub の instance では %n 物理はエンティティーエンティティーエンティティーは Soaking の instance では %n エンティティーは人［人間］の instance では %n エンティティーはエンティティーの agent では %n エンティティーはエンティティーの patient では %n eventLocated エンティティー and 物理の目的 %n{ない}

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: