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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KitchenArea

Sigma KEE - KitchenArea
KitchenArea(kitchen area)galley, kitchenette

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 15006-15007
(subclass KitchenArea Region) Mid-level-ontology.kif 15005-15005 Kitchen area is a subclass of region

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


(subclass Kitchen KitchenArea) Mid-level-ontology.kif 15019-15019 Kitchen is a subclass of kitchen area
(termFormat EnglishLanguage KitchenArea "kitchen area") Mid-level-ontology.kif 15008-15008

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


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

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 19939-19960
(=>
    (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 25157-25167


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