DiningArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiningArea EnglishLanguage "a DiningArea refers to a Region, either Outdoors or Indoors, that is intended for Eating")	Mid-level-ontology.kif 15566-15567
(subclass DiningArea Region)	Mid-level-ontology.kif 15565-15565	DiningArea ist eine teilkategorie von Region

appearance as argument number 2

(subclass DiningRoom DiningArea)	Mid-level-ontology.kif 15580-15580	DiningRoom ist eine teilkategorie von DiningArea
(subclass OutdoorDiningArea DiningArea)	Dining.kif 153-153	OutdoorDiningArea ist eine teilkategorie von DiningArea
(termFormat EnglishLanguage DiningArea "dining area")	Mid-level-ontology.kif 15568-15568

antecedent

(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))

Mid-level-ontology.kif 15570-15576

Wenn Physical ist ein fall von DiningArea %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von Eating %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 ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea))))	Mid-level-ontology.kif 7296-7301	Wenn AutonomousAgent ist ein fall von Restaurant %n{nicht}, dann es gibt Object um AutonomousAgent besitzt Object %n{nicht} und ** Object ist ein fall von DiningArea %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 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: