TreeView Knowledge Base Browser - guest

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 61-61	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 62-62	The number 2 argument of guest is an instance of cognitive 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 3571-3571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3570-3570
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3569-3569
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 663-674	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 1497-1510	If a cognitive agent employs another cognitive agent and traveler accommodation is an attribute of the cognitive agent and tennis pro is an attribute of the other cognitive agent and a third cognitive agent is a guest at the cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the other cognitive agent participates in the entity and the third cognitive agent participates in the entity and the entity is located at the other entity and the cognitive 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 289-308	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive 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 cognitive 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 1533-1553	If a cognitive 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 cognitive agent and another cognitive agent is a guest at the cognitive agent and the other cognitive agent buys the meal plan from the cognitive 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 other 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 other cognitive agent is a guest at the cognitive agent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2627-2647	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity and another entity such that the entity is a guest at the organization and the entity stays at the other entity and a 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 2654-2670	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 2677-2692	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 1533-1553	If a cognitive 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 cognitive agent and another cognitive agent is a guest at the cognitive agent and the other cognitive agent buys the meal plan from the cognitive 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 other 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 other cognitive agent is a guest at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2714-2726	If a hotel package authored a proposition 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 a kind of hotel unit is a part of the organization and a cognitive agent buys the hotel package from the proposition, then there exists a time position such that the time position is equal to the integer day duration(s) and the 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 64-70	If a cognitive agent rents an object to another cognitive agent during a time interval and traveler accommodation is an attribute of the cognitive agent and the object is an instance of hotel unit, then the other cognitive agent is a guest at the cognitive agent holds during the time interval

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