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 14439-14439	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3377-3378	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14442-14443	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14440-14440	The number 1 argument of stays is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14441-14441	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 14438-14438	stays is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14437-14437	stays is a subrelation of inhabits

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4638-4638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4637-4637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4636-4636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55246-55246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55245-55245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55244-55244

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit and a kind of physical 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 kind of physical 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 object is price 0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	If use of a kind of physical is free for a kind of hotel unit and a kind of physical 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 kind of physical or another process is an instance of the kind of physical 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 human
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 396-417	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical 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 kind of physical 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 temporary residence 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 there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical 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 kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then there exist the processRICE and an unit of measure such that the process is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20826-20836	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 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 479-490	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 exist another entity and a third entity such that the other entity is an instance of group of people and the 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 2951-2963	If a hotel reservation is a reservation for a kind of hotel unit and a reservation starts at the hotel reservation and another reservation ends at the hotel reservation and the hotel reservation reserves a third reservation, then the statement there exists an entity such that the 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 1029-1035	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 1243-1254	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 1224-1236	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 1042-1050	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 2245-2252	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 1827-1848	If a process is an instance of valet laundry, then there exist a human, an agent,, , a temporary residence,, , an entity,, , another process,, , a third process and a fourth process such that the agent is a customer of the human and the human stays at the temporary residence and the 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 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 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