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 13247-13248
(subclass DiningArea Region)	Mid-level-ontology.kif 13246-13246	subclass DiningArea and Region

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 13251-13257

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 18260-18281	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 6963-6968	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 23687-23697	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: