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

s__disjointRelation(s__stays__m,s__home__m)	Merge.kif 14436-14436	stays and home are disjoint
s__documentation(s__stays__m,s__ChineseLanguage,'这是 Human 和e Human 的 TemporaryResidence 之间的关系。')	Merge.kif 14441-14442
s__documentation(s__stays__m,s__EnglishLanguage,'The relation between a Human and a TemporaryResidence of the Human.')	Merge.kif 14439-14440
s__domain(s__stays__m,1,s__Human)	Merge.kif 14437-14437	The number 1 argument of stays is an instance of human
s__domain(s__stays__m,2,s__TemporaryResidence)	Merge.kif 14438-14438	The number 2 argument of stays is an instance of temporary residence
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__stays__m,s__BinaryPredicate)	Merge.kif 14435-14435	stays is an instance of binary predicate
s__subrelation(s__stays__m,s__inhabits__m)	Merge.kif 14434-14434	stays is a subrelation of inhabits

appearance as argument number 2

s__format(s__EnglishLanguage,s__stays__m,'%1 stays at %2')	domainEnglishFormat.kif 1170-1170
s__termFormat(s__EnglishLanguage,s__stays__m,'stays')	domainEnglishFormat.kif 9625-9625	"stays" is the printable form of stays in english language

antecedent

( ! [V__O,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL,V__P] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__R,s__TemporaryResidence)s__and__ms__instance(V__ROOM,s__SetOrClass)s__and__ms__subclass(V__ROOM,s__HotelUnit)s__and__ms__instance(V__OBJ,s__SetOrClass)s__and__ms__instance(V__GUEST,s__Human)s__and__ms__instance(V__HOTEL,s__Agent)) s__=>((s__freeRoomAmenity(V__ROOM,V__OBJ) s__and__ms__subclass(V__OBJ,s__Object)s__and__ms__instance(V__R,V__ROOM) s__and__ms__stays(V__GUEST,V__R) s__and__ms__element(V__R,s__PropertyFn(V__HOTEL)) s__and__ms__instance(V__O,V__OBJ) s__and__ms__located(V__O,V__R) s__and__ms__instance(V__P,s__Process)s__and__ms__agent(V__P,V__GUEST) s__and__m(s__patient(V__P,V__O) s__or__ms__instrument(V__P,V__O) s__or__ms__resource(V__P,V__O))) s__=>s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))) )	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
( ! [V__P,V__R,V__ROOM,V__S,V__PROC,V__GUEST,V__HOTEL] : ((s__instance(V__P,s__Process)s__and__ms__instance(V__R,s__TemporaryResidence)s__and__ms__instance(V__ROOM,s__SetOrClass)s__and__ms__subclass(V__ROOM,s__HotelUnit)s__and__ms__instance(V__S,s__Process)s__and__ms__instance(V__PROC,s__SetOrClass)s__and__ms__instance(V__GUEST,s__Human)s__and__ms__instance(V__HOTEL,s__Agent)) s__=>((s__freeRoomAmenity(V__ROOM,V__PROC) s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__R,V__ROOM) s__and__ms__stays(V__GUEST,V__R) s__and__ms__element(V__R,s__PropertyFn(V__HOTEL)) s__and__m(s__instance(V__P,V__PROC) s__or__m(s__instance(V__S,V__PROC) s__and__ms__subProcess(V__P,V__S))) s__and__ms__located(V__P,V__R)) s__=>s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))) )	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 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

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 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 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 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 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 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 452-463	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
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__PRICE,V__GUEST,V__HOTEL] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__P,s__Process)s__and__ms__instance(V__R,s__TemporaryResidence)s__and__ms__instance(V__ROOM,s__SetOrClass)s__and__ms__subclass(V__ROOM,s__HotelUnit)s__and__ms__instance(V__OBJ,s__SetOrClass)s__and__ms__instance(V__PRICE,s__CurrencyMeasure)s__and__ms__instance(V__GUEST,s__Human)s__and__ms__instance(V__HOTEL,s__Agent)) s__=>((s__paidRoomAmenity(V__ROOM,V__OBJ) s__and__ms__subclass(V__OBJ,s__Object)) s__=>((s__instance(V__R,V__ROOM) s__and__ms__stays(V__GUEST,V__R) s__and__ms__element(V__R,s__PropertyFn(V__HOTEL)) s__and__ms__instance(V__O,V__OBJ) s__and__ms__located(V__O,V__R) s__and__ms__instance(V__P,s__Process)s__and__ms__agent(V__P,V__GUEST) s__and__m(s__located(V__P,V__O) s__or__ms__patient(V__P,V__O) s__or__ms__instrument(V__P,V__O) s__or__ms__resource(V__P,V__O))) s__=>(s__price(V__P,V__PRICE,V__HOTEL) s__and__ms__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar)))))) )	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)
( ! [V__P,V__R,V__ROOM,V__S,V__PRICE,V__PROC,V__GUEST,V__HOTEL] : ((s__instance(V__P,s__Process)s__and__ms__instance(V__R,s__TemporaryResidence)s__and__ms__instance(V__ROOM,s__SetOrClass)s__and__ms__subclass(V__ROOM,s__HotelUnit)s__and__ms__instance(V__S,s__Process)s__and__ms__instance(V__PRICE,s__CurrencyMeasure)s__and__ms__instance(V__PROC,s__SetOrClass)s__and__ms__instance(V__GUEST,s__Human)s__and__ms__instance(V__HOTEL,s__Agent)) s__=>((s__paidRoomAmenity(V__ROOM,V__PROC) s__and__ms__subclass(V__PROC,s__Process)) s__=>((s__instance(V__R,V__ROOM) s__and__ms__stays(V__GUEST,V__R) s__and__ms__element(V__R,s__PropertyFn(V__HOTEL)) s__and__m(s__instance(V__P,V__PROC) s__or__m(s__instance(V__S,V__PROC) s__and__ms__subProcess(V__P,V__S))) s__and__ms__located(V__P,V__R)) s__=>(s__price(V__P,V__PRICE,V__HOTEL) s__and__ms__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar)))))) )	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 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 982-988	If children's suite is an attribute of an object, then the object has 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 1190-1201	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 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 1171-1183	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 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 995-1003	If female executive room is an attribute of an object, then the object has 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
( ! [V__SVC] : (s__instance(V__SVC,s__ExecutiveService)s__=>(s__exists__m[V__HUMAN,V__LEVEL,V__ROOM] : (s__instance(V__HUMAN,s__Human)s__and__ms__instance(V__LEVEL,s__Object)s__and__ms__instance(V__ROOM,s__TemporaryResidence)s__and__m(s__serviceRecipient(V__SVC,V__HUMAN) s__and__ms__stays(V__HUMAN,V__ROOM) s__and__ms__located(V__ROOM,V__LEVEL) s__and__ms__attribute(V__LEVEL,s__ExecutiveLevel))))) )	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
( ! [V__SVC] : (s__instance(V__SVC,s__ValetLaundryService)s__=>(s__exists__m[V__CUST,V__AGENT,V__LOC,V__CLOTHES,V__LAUNDRY,V__PICKUP,V__DELIVERY] : (s__instance(V__CUST,s__Human)s__and__ms__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__LOC,s__TemporaryResidence)s__and__m(s__customer(V__CUST,V__AGENT) s__and__ms__stays(V__CUST,V__LOC) s__and__ms__agent(V__SVC,V__AGENT) s__and__ms__instance(V__CLOTHES,s__Clothing)s__and__ms__instance(V__PICKUP,s__Getting)s__and__ms__located(V__PICKUP,V__LOC) s__and__ms__patient(V__PICKUP,V__CLOTHES) s__and__ms__agent(V__PICKUP,V__AGENT) s__and__m(s__instance(V__LAUNDRY,s__LaundryService)s__or__ms__instance(V__LAUNDRY,s__DryCleaningService)) s__and__ms__agent(V__LAUNDRY,V__AGENT) s__and__ms__patient(V__LAUNDRY,V__CLOTHES) s__and__ms__instance(V__DELIVERY,s__DeliveryService)s__and__ms__patient(V__DELIVERY,V__CLOTHES) s__and__ms__destination(V__DELIVERY,V__LOC) s__and__ms__before(s__BeginFn(s__WhenFn(V__PICKUP)) ,s__BeginFn(s__WhenFn(V__LAUNDRY))) s__and__ms__before(s__BeginFn(s__WhenFn(V__LAUNDRY)) ,s__BeginFn(s__WhenFn(V__DELIVERY))))))) )	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