Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Renting
Renting(renting)lease, rent, renting

appearance as argument number 1
-------------------------


s__documentation(s__Renting,s__EnglishLanguage,'Giving money to the owner of an Object in exchange for the right to use the Object for a fixed time period.')

Mid-level-ontology.kif 20318-20319
s__subclass(s__Renting,s__Borrowing)

s__instance(s__Borrowing,s__SetOrClass)

s__instance(s__Renting,s__SetOrClass)

Mid-level-ontology.kif 20317-20317 Renting is a subclass of borrowing
s__instance(s__Renting,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__Renting,s__FinancialTransaction)

Mid-level-ontology.kif 20316-20316 Renting is a subclass of financial transaction

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


s__termFormat(s__EnglishLanguage,s__Renting,'renting')

domainEnglishFormat.kif 8672-8672 "renting" is the printable form of renting in english language

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


( ! [V__AGENT,V__CUST,V__FR,V__PHYS,V__RM,V__R,V__X] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__subclass(V__FR,s__HotelFunctionRoom)s__and__ms__instance(V__FR,s__SetOrClass)s__and__ms__instance(V__PHYS,s__SetOrClass))
    s__=>((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
      s__and__ms__instance(V__RM,V__FR)
    s__and__ms__element(V__RM,s__PropertyFn(V__AGENT))
s__and__ms__instance(V__R,s__Renting)s__and__ms__patient(V__R,V__RM)
s__and__ms__destination(V__R,V__CUST)
s__and__ms__instance(V__X,V__PHYS)
s__and__ms__possesses(V__AGENT,V__X)
s__and__ms__customer(V__CUST,V__AGENT)
s__and__m((s__instance(V__X,s__Process)s__and__m(s__agent(V__X,V__CUST)
s__or__ms__experiencer(V__X,V__CUST)))
s__or__m(s__possesses(V__AGENT,V__X)
s__and__ms__instance(V__X,s__Object)s__and__ms__uses(V__CUST,V__X))))
s__=>s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT)))
)

Hotel.kif 810-831
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20321-20328
( ! [V__AGENT,V__CUST,V__PRICE,V__FR,V__PHYS,V__RM,V__R,V__X] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__PRICE,s__CurrencyMeasure)s__and__ms__subclass(V__FR,s__HotelFunctionRoom)s__and__ms__instance(V__FR,s__SetOrClass)s__and__ms__instance(V__PHYS,s__SetOrClass))
    s__=>((s__paidFunctionRoomAmenity(V__FR,V__PHYS)
      s__and__ms__instance(V__RM,V__FR)
    s__and__ms__element(V__RM,s__PropertyFn(V__AGENT))
s__and__ms__instance(V__R,s__Renting)s__and__ms__patient(V__R,V__RM)
s__and__ms__destination(V__R,V__CUST)
s__and__ms__instance(V__X,V__PHYS)
s__and__ms__possesses(V__AGENT,V__X)
s__and__ms__customer(V__CUST,V__AGENT)
s__and__m((s__instance(V__X,s__Process)s__and__m(s__agent(V__X,V__CUST)
s__or__ms__experiencer(V__X,V__CUST)))
s__or__m(s__possesses(V__AGENT,V__X)
s__and__ms__instance(V__X,s__Object)s__and__ms__uses(V__CUST,V__X))))
s__=>(s__price(V__X,V__PRICE,V__AGENT)
s__and__ms__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar)))))
)

Hotel.kif 840-863
( ! [V__AGENT,V__PS,V__DURATION,V__CUSTOMER,V__TIME,V__OBJ,V__PRICE,V__TIMEINT,V__QUANT,V__ITEM,V__R] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__PS,s__PricingScheme)s__and__ms__instance(V__DURATION,s__TimeDuration)s__and__ms__instance(V__CUSTOMER,s__Agent)s__and__ms__instance(V__TIME,s__PhysicalQuantity)s__and__ms__instance(V__OBJ,s__Agent)s__and__ms__subclass(V__OBJ,s__Physical)s__and__ms__instance(V__PRICE,s__CurrencyMeasure)s__and__ms__instance(V__TIMEINT,s__TimeInterval)s__and__ms__instance(V__QUANT,s__FunctionQuantity))
    s__=>((s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
      s__and__m(V__QUANTs__equal__ms__PerFn(V__PRICE,V__TIME))
  s__and__ms__immediateInstance(V__ITEM,V__OBJ)
s__and__ms__instance(V__R,s__Renting)s__and__ms__patient(V__R,V__ITEM)
s__and__ms__possesses(V__OBJ,V__AGENT)
s__and__ms__agent(V__R,V__CUSTOMER)
s__and__ms__time(V__R,V__TIMEINT))
s__=>(s__forall__m[V__X] :
((s__during(V__TIMEINT,V__X)
s__and__ms__instance(V__X,s__TimeInterval)s__and__ms__duration(V__X,V__DURATION)
s__and__ms__lessThanOrEqualTo(V__DURATION,V__TIME))
s__=>(s__exists__m[V__P] :
(s__instance(V__P,s__Payment)s__and__ms__destination(V__P,V__AGENT)
s__and__ms__agent(V__P,V__CUSTOMER)
s__and__ms__transactionAmount(V__P,V__PRICE)))))))
)

Catalog.kif 450-472

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1640-1648
No TPTP formula. May not be expressible in strict first order. naics.kif 9636-9645
No TPTP formula. May not be expressible in strict first order. Catalog.kif 493-505
( ! [V__U,V__L] :
   ((s__instance(V__U,s__PermanentResidence)s__and__ms__instance(V__L,s__Agent))
    s__=>(s__landlord(V__L,V__U)
    s__=>(s__exists__m[V__R,V__P] :
       (s__instance(V__P,s__Agent)s__and__m(s__possesses(V__L,V__U)
      s__and__ms__tenant(V__P,V__U)
    s__and__ms__agent(V__R,V__P)
  s__and__ms__instance(V__R,s__Renting)s__and__ms__patient(V__R,V__U))))))
)

Mid-level-ontology.kif 6563-6571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28162-28170
( ! [V__P,V__U] :
   ((s__instance(V__P,s__Agent)s__and__ms__instance(V__U,s__PermanentResidence))
    s__=>(s__tenant(V__P,V__U)
    s__=>(s__exists__m[V__L,V__R] :
       (s__instance(V__L,s__Agent)s__and__m(s__instance(V__R,s__Renting)s__and__ms__landlord(V__L,V__U)
      s__and__ms__agent(V__R,V__P)
    s__and__ms__possesses(V__L,V__U)
  s__and__ms__patient(V__R,V__U))))))
)

Mid-level-ontology.kif 6579-6587


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