KitchenArea - Sigma 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 16923-16924
(subclass KitchenArea Region)	Mid-level-ontology.kif 16922-16922	子類 KitchenArea and Region

appearance as argument number 2

(subclass Kitchen KitchenArea)	Mid-level-ontology.kif 16936-16936	子類廚房 and KitchenArea
(termFormat EnglishLanguage KitchenArea "kitchen area")	Mid-level-ontology.kif 16925-16925	子類廚房 and KitchenArea

antecedent

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

Mid-level-ontology.kif 16927-16933

例 Physical and KitchenArea
有目的 Physical and entity 例 entity and Cooking entity 是 located 在 Physical

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 22225-22247	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for 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 27415-27425	例 Entity and RecreationalVehicle 模態屬性 entity entity and entity 例 entity and 床例 entity and DiningArea 例 entity and KitchenArea 位於 entity and Entity 位於 entity and Entity 位於 entity and Entity and 容易

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: