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

Formal Language: 


KB Term:  Term intersection
English Word: 

  KitchenArea

Sigma KEE - KitchenArea
KitchenArea

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 16915-16916
(subclass KitchenArea Region) Mid-level-ontology.kif 16914-16914 KitchenArea地域subclass では

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


(subclass Kitchen KitchenArea) Mid-level-ontology.kif 16928-16928 KitchenKitchenAreasubclass では
(termFormat EnglishLanguage KitchenArea "kitchen area") Mid-level-ontology.kif 16917-16917 KitchenKitchenAreasubclass では

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


(=>
    (instance ?K KitchenArea)
    (hasPurpose ?K
        (exists (?C)
            (and
                (instance ?C Cooking)
                (eventLocated ?C ?K)))))
Mid-level-ontology.kif 16919-16925

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 22218-22240
(=>
    (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 27668-27678


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