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 15566-15567
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15565-15565	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 15580-15580	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 15568-15568

antecedent

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

Mid-level-ontology.kif 15570-15576

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 20600-20622	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 7296-7301	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 25758-25768	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