stays - Sigma Knowledge base Browser

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 14299-14299	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14304-14305
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14302-14303
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14300-14300	The number 1 argument of stays is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14301-14301	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 14298-14298	stays is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14297-14297	stays is a subrelation of inhabits

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1170-1170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9629-9629	"stays" is the printable form of stays in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 333-348	If use of a set or class is free for a kind of hotel unit and the set or 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 set or 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 price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 350-363	If use of a set or class is free for a kind of hotel unit and the set or 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 a process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process price 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 an object such that the object is an instance of the kind of physical and the object is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists a process such that the human is an agent of the process and the object is an instrument for the process or the object is a patient of the process or the object is a resource for the process

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2595-2615	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist a human and a temporary residence such that the human is a guest at the organization and the human stays at the temporary residence and a time interval is equal to the time of existence of the human stays at the temporary residence and for all another time interval if the other time interval is an instance of day and the other time interval takes place during the time interval, then there exists a third time interval such that the third time interval is an instance of service and the temporary residence is a patient of the third time interval and the third time interval takes place during the other time interval holds during the time interval has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2622-2638	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 a human and a temporary residence such that the human is a guest at the organization and there doesn't exist a process such that the process is an instance of service and the temporary residence is a patient of the process holds during the time of existence of the human stays at the temporary residence has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2645-2660	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 a human and a temporary residence such that the human is a guest at the organization and there exists a process such that the process is an instance of service and the temporary residence is a patient of the process holds during the time of existence of the human stays at the temporary residence has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 452-463	If a kind of stationary artifact can accommodate at most an integer people and a temporary residence is an instance of a kind of stationary artifact and the temporary residence is an element of belongings of an agent, then the statement there exists a human such that the human is an instance of group of people and another integer is a member count of the human and the other integer is less than or equal to the integer and the human stays at the temporary residence has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 372-392	If renters of a kind of hotel unit can pay to use a set or class and the set or 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 set or 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 price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 394-411	If renters of a kind of hotel unit can pay to use a set or class and the set or 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 a process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2887-2898	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 human, then the statement a temporary residence is an instance of a kind of hotel unit and the human stays at the temporary residence 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 982-988	If children's suite is an attribute of a temporary residence, then the temporary residence has purpose there exists a human such that the human is an instance of human child and the human stays at the temporary residence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1190-1201	If female level is an attribute of an object, then for all a temporary residence if the temporary residence is an instance of hotel room and the temporary residence is located at the object, then the temporary residence has purpose there exists a human such that female is an attribute of the human and the human stays at the temporary residence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1171-1183	If executive level is an attribute of an object, then for all a temporary residence if the temporary residence is an instance of hotel room and the temporary residence is located at the object, then the temporary residence has purpose there exists a human such that business executive is an attribute of the human and the human is an instance of human and the human stays at the temporary residence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 995-1003	If female executive room is an attribute of a temporary residence, then the temporary residence has purpose there exists a human such that the human is an instance of human and female is an attribute of the human and business executive is an attribute of the human and the human stays at the temporary residence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2186-2193	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 1771-1792	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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners