guest - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - guest

guest

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 57-58
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 66-66	The number 1 argument of guest is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 67-67	The number 2 argument of guest is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 56-56	guest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 55-55	guest is a subrelation of customer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3564-3564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3563-3563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3562-3562
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 59-59

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 684-695	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1522-1535	If an agent employs a cognitive agent and traveler accommodation is an attribute of the agent and tennis pro is an attribute of the cognitive agent and another cognitive agent is a guest at the agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the cognitive agent participates in the entity and the other cognitive agent participates in the entity and the entity is located at the other entity and the agent 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 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 1558-1578	If an agent offers items for sale in a meal plan and the meal plan is an instance of meal plan and meals of type a relational attribute are includes in the meal plan and traveler accommodation is an attribute of the agent and a cognitive agent is a guest at the agent and the cognitive agent buys the meal plan from the agent, then there exists an entity such that there exists another entity such that the relational attribute is an attribute of the other entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of eating and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity holds during the entity holds during the time of existence of the cognitive agent is a guest at the agent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity, another entity and a third entity such that the entity is a guest at the organization and the entity stays at the other entity and the third entity is equal to the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2681-2697	If a policy is an instance of no housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist an entity and another entity such that the entity is a guest at the organization and there doesn't exist a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2704-2719	If a policy is an instance of with housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist an entity and another entity such that the entity is a guest at the organization and there exists a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1558-1578	If an agent offers items for sale in a meal plan and the meal plan is an instance of meal plan and meals of type a relational attribute are includes in the meal plan and traveler accommodation is an attribute of the agent and a cognitive agent is a guest at the agent and the cognitive agent buys the meal plan from the agent, then there exists an entity such that there exists another entity such that the relational attribute is an attribute of the other entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of eating and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity holds during the entity holds during the time of existence of the cognitive agent is a guest at the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2744-2757	If a cognitive agent authored a hotel package and the hotel package is an instance of hotel package and an organization provides the hotel package and the hotel package specifies an integer days stay at a kind of hotel unit and an entity is an instance of a kind of hotel unit and the entity is an element of belongings of the organization and another cognitive agent buys the hotel package from the cognitive agent, then there exists a time position such that the time position is equal to the integer day duration(s) and the other cognitive agent is a guest at the organization holds during the time position
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

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