Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DiningArea

Sigma KEE - DiningArea
DiningArea

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 14866-14867
(subclass DiningArea Region) Mid-level-ontology.kif 14865-14865

appearance as argument number 2
-------------------------


(subclass DiningRoom DiningArea) Mid-level-ontology.kif 14880-14880
(subclass OutdoorDiningArea DiningArea) Dining.kif 153-153
(termFormat EnglishLanguage DiningArea "dining area") Mid-level-ontology.kif 14868-14868

antecedent
-------------------------


(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))
Mid-level-ontology.kif 14870-14876

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 19774-19795
(=>
    (instance ?R Restaurant)
    (exists (?D)
        (and
            (possesses ?R ?D)
            (instance ?D DiningArea))))
Mid-level-ontology.kif 6933-6938
(=>
    (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 24992-25002


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