DiningArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DiningArea

DiningArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15594-15595
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15593-15593	DiningArea e' uma sub-classe de Regiao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15608-15608	DiningRoom e' uma sub-classe de DiningArea
No TPTP formula. May not be expressible in strict first order.	Dining.kif 153-153	OutdoorDiningArea e' uma sub-classe de DiningArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15596-15596

antecedent

No TPTP formula. May not be expressible in strict first order.

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7324-7329	AutonomousAgent e' uma instancia de Restaurant Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de DiningArea
No TPTP formula. May not be expressible in strict first order.	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 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