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 15569-15570
(subclass KitchenArea Region)	Mid-level-ontology.kif 15568-15568	KitchenArea e' uma sub-classe de Regiao

appearance as argument number 2

(subclass Kitchen KitchenArea)	Mid-level-ontology.kif 15582-15582	Kitchen e' uma sub-classe de KitchenArea
(termFormat EnglishLanguage KitchenArea "kitchen area")	Mid-level-ontology.kif 15571-15571

antecedent

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

Mid-level-ontology.kif 15573-15579

Fisico e' uma instancia de KitchenArea
Fisico tem por fim Entidade Entidade e' uma instancia de Cozinhar eventLocated Entidade and Fisico

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 20628-20650	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
(=> (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 25803-25813	Entidade e' uma instancia de RecreationalVehicle o argumento Entidade Entidade and Entidade Entidade e' uma instancia de Bed Entidade e' uma instancia de DiningArea Entidade e' uma instancia de KitchenArea Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade tem a forca modal de 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: