TreeView Knowledge Base Browser - propertyAmenity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

propertyAmenity

Sigma KEE - propertyAmenity

propertyAmenity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 497-498
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 501-501	O argumento numero 1 de propertyAmenity e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 502-502	O argumento numero 2 de propertyAmenity e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 496-496	propertyAmenity e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4258-4258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4257-4257
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4256-4256
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 540-540	freePropertyAmenity e' uma sub-relacao de propertyAmenity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 563-563	paidPropertyAmenity e' uma sub-relacao de propertyAmenity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 499-499

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Objeto Entidade e' uma instancia de Fisico AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo Agente Cognitivo experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Processo o argumento Entidade Entidade and Entidade Entidade e' um elemento de propriedade de AutonomousAgent Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Fisico Entidade e' um sub-processo de Entidade Entidade e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2231-2238	propertyAmenity AutonomousAgent and VideoCheckOut Objeto Objeto Objeto e' uma instancia de VideoDisplay Objeto e' capaz de fazer VideoCheckOut no role instrument Objeto e' situado em Objeto Objeto e' uma instancia de AutonomousAgent

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