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 HumanTemporaryResidence 之间 的关系。')

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
( ! [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
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__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
( ! [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
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)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
( ! [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


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