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	Le nombre 1 argument de propertyAmenity est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 502-502	Le nombre 2 argument de propertyAmenity est une sous-classe de physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 496-496	propertyAmenity est une instance de pr�dicat binaire

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 est une sous-relation de propertyAmenity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 563-563	paidPropertyAmenity est une sous-relation 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 agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de objet entit� est une instance de physique AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de agent cognitif agent cognitif exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de processus l'argument entit� entit� and entit� entit� est un appartenir � AutonomousAgent entit� est un agent de AutonomousAgent agent cognitif est un patient de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2231-2238	propertyAmenity AutonomousAgent and VideoCheckOut objet objet objet est une instance de VideoDisplay objet est capable de faire VideoCheckOut dans le r�le instrument objet est situ� � objet objet est une instance 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