TreeView Knowledge Base Browser

appearance as argument number 1

(documentation KitchenArea EnglishLanguage "a KitchenArea refers to a Region, either Outdoors or Indoors, that is intended for Cooking")	Mid-level-ontology.kif 15541-15542
(subclass KitchenArea Region)	Mid-level-ontology.kif 15540-15540	KitchenArea ist eine teilkategorie von Region

appearance as argument number 2

(subclass Kitchen KitchenArea)	Mid-level-ontology.kif 15554-15554	Kitchen ist eine teilkategorie von KitchenArea
(termFormat EnglishLanguage KitchenArea "kitchen area")	Mid-level-ontology.kif 15543-15543

antecedent

(=>
    (instance ?K KitchenArea)
    (hasPurpose ?K
        (exists (?C)
            (and
                (instance ?C Cooking)
                (eventLocated ?C ?K)))))

Mid-level-ontology.kif 15545-15551

Wenn Physical ist ein fall von KitchenArea %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von Cooking %n{nicht} und eventLocated ** entity and ** Physical %n{nicht}

consequent

(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human)))))))	Mid-level-ontology.kif 20600-20622	Wenn Waiter ist ein attribut von CognitiveAgent %n{nicht} und CognitiveAgent ist ein fall von Human %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und AutonomousAgent ist ein fall von Restaurant %n{nicht} und customer CognitiveAgent and AutonomousAgent und CognitiveAgent befindet sich an %n{nicht} und Object ist ein fall von Table %n{nicht}, dann es gibt Object, entity,, , entity, and und Object um AutonomousAgent besitzt Object %n{nicht} und Object ist ein fall von KitchenArea %n{nicht} und Object ist ein fall von DiningArea %n{nicht} und Object befindet sich an %n{nicht} und CognitiveAgent hat Zweck von entity ist ein fall von Carrying %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und entity beginnet an Object %n{nicht} und entity endet an Object %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von FoodForFn Human %n{nicht} %n{nicht}
(=> (instance ?RV RecreationalVehicle) (modalAttribute (exists (?BED ?DINING ?KITCHEN) (and (instance ?BED Bed) (instance ?DINING DiningArea) (instance ?KITCHEN KitchenArea) (located ?BED ?RV) (located ?DINING ?RV) (located ?KITCHEN ?RV))) Likely))	Mid-level-ontology.kif 25758-25768	Wenn Entity ist ein fall von RecreationalVehicle %n{nicht}, dann die Aussage es gibt entity, entity, and und entity um entity ist ein fall von Bed %n{nicht} und entity ist ein fall von DiningArea %n{nicht} und entity ist ein fall von KitchenArea %n{nicht} und entity befindet sich an %n{nicht} und entity befindet sich an %n{nicht} und ** entity befindet sich an %n{nicht} hat die modale Kraft von Likely

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: