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 13331-13331 stays and home are disjoint
s__documentation(s__stays__m,s__ChineseLanguage,'"这是 Human 和e HumanTemporaryResidence 之间 的关系。"')

chinese_format.kif 3377-3378
s__documentation(s__stays__m,s__EnglishLanguage,'"The relation between a Human and a TemporaryResidence of the Human."')

Merge.kif 13334-13335
s__domain(s__stays__m,n__1,s__Human)

Merge.kif 13332-13332 The number 1 argument of stays is an instance of human
s__domain(s__stays__m,n__2,s__TemporaryResidence)

Merge.kif 13333-13333 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 13330-13330 stays is an instance of binary predicate
s__subrelation(s__stays__m,s__inhabits__m)

Merge.kif 13329-13329 stays is a subrelation of inhabits

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__stays__m,'"%1 stays 在 %2 "')

domainEnglishFormat.kif 4643-4643
s__format(s__ChineseTraditionalLanguage,s__stays__m,'"%1 stays 在 %2 "')

domainEnglishFormat.kif 4642-4642
s__format(s__EnglishLanguage,s__stays__m,'"%1 stays at %2"')

domainEnglishFormat.kif 4641-4641
s__termFormat(s__ChineseLanguage,s__stays__m,'"停留"')

domainEnglishFormat.kif 55099-55099
s__termFormat(s__ChineseTraditionalLanguage,s__stays__m,'"停留"')

domainEnglishFormat.kif 55098-55098
s__termFormat(s__EnglishLanguage,s__stays__m,'"stays"')

domainEnglishFormat.kif 55097-55097

antecedent
-------------------------


( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] :
   ((s__instance(V__O,s__Object) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__ROOM,s__SetOrClass) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__OBJ,s__SetOrClass) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__Agent))
     =>
     (s__freeRoomAmenity(V__ROOM,V__OBJ)
     &
     s__subclass(V__OBJ,s__Object) &
     s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL)
)
)

Hotel.kif 334-349
( ! [V__P,V__R,V__ROOM,V__S,V__PROC,V__GUEST,V__HOTEL] :
   ((s__instance(V__P,s__Process) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__ROOM,s__SetOrClass) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__S,s__Process) &
       s__instance(V__PROC,s__SetOrClass) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__Agent))
     =>
     (s__freeRoomAmenity(V__ROOM,V__PROC)
     &
     s__subclass(V__PROC,s__Process) &
     s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__patient(V__P,V__GUEST)
&
(s__instance(V__P,V__PROC)
|
(s__instance(V__S,V__PROC)
&
s__subProcess(V__P,V__S)))
&
s__located(V__P,V__R))
=>
s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL)
)
)

Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2600-2620
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2627-2643
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2650-2665
No TPTP formula. May not be expressible in strict first order. Hotel.kif 455-466
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__PRICE,V__GUEST,V__HOTEL] :
   ((s__instance(V__O,s__Object) &
       s__instance(V__P,s__Process) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__ROOM,s__SetOrClass) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__OBJ,s__SetOrClass) &
       s__instance(V__PRICE,s__CurrencyMeasure) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__Agent))
     =>
     (s__paidRoomAmenity(V__ROOM,V__OBJ)
     &
     s__subclass(V__OBJ,s__Object))
   =>
   (s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__located(V__P,V__O)
|
s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
(s__price(V__P,V__PRICE,V__HOTEL)
&
s__greaterThan(V__PRICE,s__MeasureFn(n__0,s__UnitedStatesDollar)))
)
)

Hotel.kif 374-394
( ! [V__P,V__R,V__ROOM,V__S,V__PRICE,V__PROC,V__GUEST,V__HOTEL] :
   ((s__instance(V__P,s__Process) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__ROOM,s__SetOrClass) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__S,s__Process) &
       s__instance(V__PRICE,s__CurrencyMeasure) &
       s__instance(V__PROC,s__SetOrClass) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__Agent))
     =>
     (s__paidRoomAmenity(V__ROOM,V__PROC)
     &
     s__subclass(V__PROC,s__Process))
   =>
   (s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__patient(V__P,V__GUEST)
&
(s__instance(V__P,V__PROC)
|
(s__instance(V__S,V__PROC)
&
s__subProcess(V__P,V__S)))
&
s__located(V__P,V__R))
=>
(s__price(V__P,V__PRICE,V__HOTEL)
&
s__greaterThan(V__PRICE,s__MeasureFn(n__0,s__UnitedStatesDollar)))
)
)

Hotel.kif 396-414
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2893-2904
No TPTP formula. May not be expressible in strict first order. Hotel.kif 986-992
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1194-1205
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1175-1187
No TPTP formula. May not be expressible in strict first order. Hotel.kif 999-1007
( ! [V__SVC] :
   (s__instance(V__SVC,s__ExecutiveService) =>
     ( ? [V__HUMAN, V__LEVEL, V__ROOM] :
       ((s__instance(V__HUMAN,s__Human) &
           s__instance(V__LEVEL,s__Object) &
           s__instance(V__ROOM,s__TemporaryResidence) &
           (s__serviceRecipient(V__SVC,V__HUMAN)
           &
           s__stays(V__HUMAN,V__ROOM)
         &
         s__located(V__ROOM,V__LEVEL)
       &
       s__attribute(V__LEVEL,s__ExecutiveLevel)))))
)
)

Hotel.kif 2191-2198
( ! [V__SVC] :
   (s__instance(V__SVC,s__ValetLaundryService) =>
     ( ? [V__CUST, V__AGENT, V__LOC, V__CLOTHES, V__LAUNDRY, V__PICKUP, V__DELIVERY] :
       ((s__instance(V__CUST,s__Human) &
           s__instance(V__AGENT,s__CognitiveAgent) &
           s__instance(V__LOC,s__TemporaryResidence) &
           (s__customer(V__CUST,V__AGENT)
           &
           s__stays(V__CUST,V__LOC)
         &
         s__agent(V__SVC,V__AGENT)
       &
       s__instance(V__CLOTHES,s__Clothing) &
       s__instance(V__PICKUP,s__Getting) &
       s__located(V__PICKUP,V__LOC)
     &
     s__patient(V__PICKUP,V__CLOTHES)
   &
   s__agent(V__PICKUP,V__AGENT)
&
(s__instance(V__LAUNDRY,s__LaundryService) |
   s__instance(V__LAUNDRY,s__DryCleaningService))
&
s__agent(V__LAUNDRY,V__AGENT)
&
s__patient(V__LAUNDRY,V__CLOTHES)
&
s__instance(V__DELIVERY,s__DeliveryService) &
s__patient(V__DELIVERY,V__CLOTHES)
&
s__destination(V__DELIVERY,V__LOC)
&
s__before(s__BeginFn(s__WhenFn(V__PICKUP))
,s__BeginFn(s__WhenFn(V__LAUNDRY)))
&
s__before(s__BeginFn(s__WhenFn(V__LAUNDRY))
,s__BeginFn(s__WhenFn(V__DELIVERY)))))))
)
)

Hotel.kif 1775-1796


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