HotelUnit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HotelUnit

HotelUnit(hotel unit)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 91-93
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 89-89	Hotel unit is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	Hotel unit is a subclass of temporary residence

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	Hotel room is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	Hotel villa is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 94-94	Hotel villa is a subclass of hotel unit

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 336-336	The number 1 argument of free room amenity is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 382-382	The number 1 argument of paid room amenity is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2960-2960	The number 2 argument of reserved room is a subclass of hotel unit
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 460-460	The number 1 argument of room attribute is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 445-445	The number 1 argument of room policy is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2750-2750	The number 3 argument of room stay is a subclass of hotel unit

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1209	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1011-1022	If suite is an attribute of an object and the object is an instance of hotel unit, then there exist another object and a third object such that the other object is an instance of hotel room and the third object is an instance of hotel room and the other object is inside to the object and the third object is inside to the object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 69-75	If an agent rents an object to another agent during a time interval and traveler accommodation is an attribute of the agent and the object is an instance of hotel unit, then the other agent is a guest at the agent holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 96-101	If an object is an instance of hotel unit, then there exists a physical such that the physical is an instance of bed and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	If an entity is an instance of hotel unit, then there exists an agent such that traveler accommodation is an attribute of the agent and the entity is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	If a physical is an instance of hotel unit, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is not equal to the other entity and the physical is an element of belongings of the entity and the entity rents the physical to the other entity during the third entity

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 986-990	If an attribute is an attribute of an object and the attribute is an instance of hotel room attribute, then the object is an instance of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1946-1957	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2403-2418	If an agent is a customer of a cognitive agent and the agent employs another cognitive agent and traveler accommodation is an attribute of the agent and porter is an attribute of the other cognitive agent and the cognitive agent possesses an object and the object is an instance of travel container, then there exist another object and a process such that the other object is an instance of hotel unit and the process is an instance of carrying and the other cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	If traveler accommodation is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object rents the other entity to the entity during the third entity and the other entity is an instance of hotel unit and the other entity is an element of belongings of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1980-1998	If a process is an instance of room service, then there exist an agent, an entity,, , a cognitive agent,, , another process,, , another entity,, , a third process and an object such that the agent is a customer of the cognitive agent and the agent is an agent of the process and the other process is an instance of requesting and the cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 143-145	If a collection is an instance of room inventory, then hotel unit is a member type of the collection

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