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 13300-13301
(subclass DiningArea Region)	Mid-level-ontology.kif 13299-13299	subclass DiningArea and Region

appearance as argument number 2

(subclass DiningRoom DiningArea)	Mid-level-ontology.kif 13314-13314	subclass DiningRoom and DiningArea
(subclass OutdoorDiningArea DiningArea)	Dining.kif 153-153	subclass OutdoorDiningArea and DiningArea
(termFormat EnglishLanguage DiningArea "dining area")	Mid-level-ontology.kif 13302-13302

antecedent

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

Mid-level-ontology.kif 13304-13310

instance Physical and DiningArea
hasPurpose Physical and entity instance entity and Eating eventLocated entity and Physical

consequent

(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (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 18313-18334	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs CognitiveAgent and CognitiveAgent instance CognitiveAgent and Restaurant customer CognitiveAgent and CognitiveAgent located CognitiveAgent and Object instance Object and Table possesses CognitiveAgent and Object instance Object and KitchenArea instance Object and DiningArea located Object and Object hasPurpose CognitiveAgent and instance entity and Carrying agent entity and CognitiveAgent origin entity and Object destination entity and Object patient entity and entity instance entity and FoodForFn Human
(=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea))))	Mid-level-ontology.kif 6969-6974	instance Agent and Restaurant Object possesses Agent and Object instance Object and DiningArea
(=> (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 23751-23761	instance Entity and RecreationalVehicle modalAttribute entity entity and entity instance entity and Bed instance entity and DiningArea instance entity and KitchenArea located entity and Entity located entity and Entity located entity and Entity and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: