propertyAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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	The number 1 argument of property amenity is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 502-502	The number 2 argument of property amenity is a subclass of physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 496-496	property amenity is an instance of binary predicate

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	free property amenity is a subrelation of property amenity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 563-563	paid property amenity is a subrelation of property amenity
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	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2231-2238	If an agent has video check-out, then there exist an object and another object such that the object is an instance of video display and the object is capable of doing video check-out as a instrument and the object is located at the other object and the other object is an instance of the agent

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