TreeView Knowledge Base Browser - stays

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - stays

stays

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14125-14125	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3377-3378
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14128-14129
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14126-14126	The number 1 argument of stays is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14127-14127	The number 2 argument of stays is an instance of temporary residence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14124-14124	stays is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14123-14123	stays is a subrelation of inhabits

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4647-4647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4646-4646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4645-4645
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55185-55185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55184-55184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55183-55183

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-349	If use of a class is free for a kind of hotel unit and the class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 351-365	If use of a class is free for a kind of hotel unit and the class is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the class or another process is an instance of the class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0.0 united states dollar(s) for the agent
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.	Mid-level-ontology.kif 19886-19896	If an entity is an instance of ICU and another entity stays at the entity holds during a time position, then the statement there exists a third entity such that the third entity is an instance of death and the time of existence of the third entity finishes the time position has the modal force of possibility

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 459-470	If a kind of stationary artifact can accommodate at most an integer people and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exists another entity such that the other entity is an instance of group of people and a third entity is a member count of the other entity and the third entity is less than or equal to the integer and the other entity stays at the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 374-396	If renters of a kind of hotel unit can pay to use a class and the class is a subclass of object, then if a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the object or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price the processRICE an unit of measure(s) for the agent and the unit of measure is an instance of UnitOfCurrency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 398-418	If renters of a kind of hotel unit can pay to use a class and the class is a subclass of process, then if a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the class or another process is an instance of the class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price the processRICE an unit of measure(s) for the agent and the unit of measure is an instance of UnitOfCurrency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2920-2931	If an agent is a reservation for a kind of hotel unit and a reservation starts at the agent and another reservation ends at the agent and the agent reserves a third reservation, then the statement an entity is an instance of a kind of hotel unit and the third reservation stays at the entity holds during interval between the reservation and the other reservation has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1007-1013	If children's suite is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of human child and the entity stays at the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1221-1232	If female level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that female is an attribute of the entity and the entity stays at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1202-1214	If executive level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that business executive is an attribute of the entity and the entity is an instance of human and the entity stays at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1020-1028	If female executive room is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of human and female is an attribute of the entity and business executive is an attribute of the entity and the entity stays at the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2218-2225	If a service is an instance of executive service, then there exist a human, an object and a temporary residence such that the human receives a service during the service and the human stays at the temporary residence and the temporary residence is located at the object and executive level is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1802-1823	If a process is an instance of valet laundry, then there exist a human, a cognitive agent,, , a temporary residence,, , an entity,, , another process,, , a third process and a fourth process such that the cognitive agent is a customer of the human and the human stays at the temporary residence and the cognitive agent is an agent of the process and the entity is an instance of clothing and the third process is an instance of getting and the third process is located at the temporary residence and the entity is a patient of the third process and the cognitive agent is an agent of the third process and the other process is an instance of laundry service or the other process is an instance of dry-clean and the cognitive agent is an agent of the other process and the entity is a patient of the other process and the fourth process is an instance of delivery service and the entity is a patient of the fourth process and the fourth process ends up at the temporary residence and the beginning of the time of existence of the third process happens before the beginning of the time of existence of the other process and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the fourth process

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