TreeView Knowledge Base Browser

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 13251-13252
(subclass KitchenArea Region)	Mid-level-ontology.kif 13250-13250	subclass KitchenArea and Region

appearance as argument number 2

(subclass Kitchen KitchenArea)	Mid-level-ontology.kif 13264-13264	subclass Kitchen and KitchenArea
(termFormat EnglishLanguage KitchenArea "kitchen area")	Mid-level-ontology.kif 13253-13253

antecedent

(=>
    (instance ?K KitchenArea)
    (hasPurpose ?K
        (exists (?C)
            (and
                (instance ?C Cooking)
                (eventLocated ?C ?K)))))

Mid-level-ontology.kif 13255-13261

instance Physical and KitchenArea
hasPurpose Physical and entity instance entity and Cooking 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 18291-18312	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 ?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 23730-23740	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 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

KB Term:			Term intersection

English Word: