TreeView 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 26511-26512
(subclass Soaking Wetting)	Mid-level-ontology.kif 26510-26510	Soaking ist eine teilkategorie von Wetting

appearance as argument number 2

(subclass CoffeeMaking Soaking)	Food.kif 650-650	CoffeeMaking ist eine teilkategorie von 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

Wenn Process ist ein fall von Soaking %n{nicht},
dann es gibt Object und Entity um ** Entity ist ein fall von Object %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Object ist ein fall von FreshWater %n{nicht} und ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** Entity ist Surrounded hinsichlich ** Object %n{nicht} haelt waehrend ** Process %n{nicht}

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	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Process, Object, and und Entity um Process ist ein subProzess von Process und Process ist ein fall von Soaking %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein fall von DrinkingWater %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von CoffeeGrind %n{nicht}
(=> (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	Wenn TimePosition ist ein fall von CoffeeMaking %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von LiquidMotion %n{nicht} und entity ist ein fall von Soaking %n{nicht} und entity ist ein fall von Removing %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (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	Wenn Physical ist ein fall von GrecianTub %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Soaking %n{nicht} und entity ist ein fall von Human %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und eventLocated entity and Physical %n{nicht}

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

Show without tree

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: