TreeView Knowledge Base Browser

appearance as argument number 1

(documentation DiningArea EnglishLanguage "a DiningArea refers to a Region, either Outdoors or Indoors, that is intended for Eating")	Mid-level-ontology.kif 15594-15595
(subclass DiningArea Region)	Mid-level-ontology.kif 15593-15593	DiningArea e' uma sub-classe de Regiao

appearance as argument number 2

(subclass DiningRoom DiningArea)	Mid-level-ontology.kif 15608-15608	DiningRoom e' uma sub-classe de DiningArea
(subclass OutdoorDiningArea DiningArea)	Dining.kif 153-153	OutdoorDiningArea e' uma sub-classe de DiningArea
(termFormat EnglishLanguage DiningArea "dining area")	Mid-level-ontology.kif 15596-15596

antecedent

(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))

Mid-level-ontology.kif 15598-15604

Fisico e' uma instancia de DiningArea
Fisico tem por fim Entidade Entidade e' uma instancia de Comer 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 ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea))))	Mid-level-ontology.kif 7324-7329	AutonomousAgent e' uma instancia de Restaurant Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de DiningArea
(=> (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: