roomAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - roomAmenity

roomAmenity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 274-275
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 278-278	The number 1 argument of room amenity is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 279-279	The number 2 argument of room amenity is a subclass of physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 273-273	room 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 4442-4442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4441-4441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4440-4440
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-334	free room amenity is a subrelation of room amenity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 380-380	paid room amenity is a subrelation of room amenity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 276-276	paid room amenity is a subrelation of room amenity

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of object, then for all an object if the object is an instance of a kind of hotel unit, then there exists another physical such that the object is an instance of the kind of hotel unit and the other physical is an instance of the kind of physical and the other physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of a kind of hotel unit and the entity is an element of belongings of the third entity and the third entity is an agent of the other entity and the other entity is an instance of the kind of physical or the fourth entity is an instance of the kind of physical and the other entity is a subprocess of the fourth entity and the other entity is located at the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1505-1513	If temperature control is an amenity in a kind of hotel unit, then there exist an object, another object and a third object such that the other object is an instance of a kind of hotel unit and the object is an instance of air conditioner and the third object is an instance of temperature control and the third object is located at the other object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1517-1530	If motion picture is an amenity in a kind of hotel unit, then there exist an object, a physical and an entity such that the object is an instance of a kind of hotel unit and the physical is an instance of media system and the physical is located at the object and the entity is an instance of motion picture and the statement there exists the objectL such that the objectL is an instance of radiating light and the physical is an instrument for the objectL and the entity is a patient of the objectL has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1738-1750	If mini bar is an amenity in a kind of hotel unit, then there exist an object, a collection and an agent such that the object is an instance of a kind of hotel unit and the object is an element of belongings of the agent and the collection is an instance of mini bar and the collection is located at the object and for all a physical if the physical is a member of the collection, then there exists a currency measure such that the physical is price the currency measure for the agent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 171-176	If all rooms in a room inventory have a kind of physical, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then a kind of physical is an amenity in the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	If all rooms in a room inventory have service a kind of physical, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then a kind of physical is an amenity in the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 187-192	If some rooms in a room inventory have a kind of physical, then there exists a kind of hotel unit such that a kind of hotel unit is a member type of the room inventory and a kind of physical is an amenity in the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 203-208	If some rooms in a room inventory have a kind of physical, then there exists a kind of hotel unit such that a kind of hotel unit is a member type of the room inventory and a kind of physical is an amenity in the kind of hotel unit

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