TreeView Knowledge Base Browser - facility

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - facility

facility

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 328-329
No TPTP formula. May not be expressible in strict first order.	Dining.kif 331-331	O argumento numero 1 de facility e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 330-330	O argumento numero 2 de facility e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 327-327	facility e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3394-3394
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3393-3393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3392-3392
No TPTP formula. May not be expressible in strict first order.	Dining.kif 332-332

antecedent

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

Dining.kif 336-350

facility AutonomousAgent and Objeto customer Agente Cognitivo and AutonomousAgent Entidade e' uma instancia de Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo
o argumento AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo usa Entidade tem a forca modal de Possibility

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