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 14378-14378
s__documentation(s__stays__m,s__ChineseLanguage,'这是 Human 和e HumanTemporaryResidence 之间 的关系。')

Merge.kif 14383-14384
s__documentation(s__stays__m,s__EnglishLanguage,'The relation between a Human and a TemporaryResidence of the Human.')

Merge.kif 14381-14382
s__domain(s__stays__m,1,s__Human)

Merge.kif 14379-14379
s__domain(s__stays__m,2,s__TemporaryResidence)

Merge.kif 14380-14380
s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 14377-14377
s__subrelation(s__stays__m,s__inhabits__m)

Merge.kif 14376-14376

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

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


( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] :
   ((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(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 333-348
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] :
   ((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__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(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 350-363
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 2595-2615
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2622-2638
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2645-2660
No TPTP formula. May not be expressible in strict first order. Hotel.kif 452-463
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P,V__PRICE] :
   ((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(0,s__UnitedStatesDollar)))))
)

Hotel.kif 372-392
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S,V__PRICE] :
   ((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__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(0,s__UnitedStatesDollar)))))
)

Hotel.kif 394-411
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2887-2898
No TPTP formula. May not be expressible in strict first order. Hotel.kif 982-988
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1190-1201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1171-1183
No TPTP formula. May not be expressible in strict first order. Hotel.kif 995-1003
( ! [V__SVC] :
   (s__instance(V__SVC,s__ExecutiveService) =>
     (? [V__HUMAN,V__LEVEL,V__ROOM] :
       (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 2186-2193
( ! [V__SVC] :
   (s__instance(V__SVC,s__ValetLaundryService) =>
     (? [V__CUST,V__AGENT,V__LOC,V__CLOTHES,V__LAUNDRY,V__PICKUP,V__DELIVERY] :
       (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 1771-1792


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