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

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 20511-20512
s__subclass(s__Renting,s__Borrowing)

s__instance(s__Borrowing,s__SetOrClass)

s__instance(s__Renting,s__SetOrClass)

Mid-level-ontology.kif 20510-20510 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 20509-20509 Renting is a subclass of financial transaction

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


s__termFormat(s__ChineseLanguage,s__Renting,'"租"')

domainEnglishFormat.kif 49472-49472
s__termFormat(s__ChineseTraditionalLanguage,s__Renting,'"租"')

domainEnglishFormat.kif 49471-49471
s__termFormat(s__EnglishLanguage,s__Renting,'"renting"')

domainEnglishFormat.kif 49470-49470

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


( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20514-20521
( ! [V__AGENT,V__R,V__CUST,V__PRICE,V__U,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__paidFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
((s__price(V__X,s__MeasureFn(V__PRICE,V__U)
,V__AGENT)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))
)
)

Hotel.kif 850-875
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1658-1666
No TPTP formula. May not be expressible in strict first order. naics.kif 9718-9727
No TPTP formula. May not be expressible in strict first order. Catalog.kif 504-516
( ! [V__U,V__L] :
   (((s__instance(V__U,s__PermanentResidence) &
         s__instance(V__L,s__Agent))
       =>
       ((s__landlord(V__L,V__U)
         =>
         (( ? [V__R, V__P] :
             ((s__instance(V__P,s__Agent) &
                 (s__possesses(V__L,V__U)
                 &
                 s__tenant(V__P,V__U)
               &
               s__agent(V__R,V__P)
             &
             s__instance(V__R,s__Renting) &
             s__patient(V__R,V__U)))))))))
)
)

Mid-level-ontology.kif 6235-6243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27973-27981
( ! [V__P,V__U] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__U,s__PermanentResidence))
       =>
       ((s__tenant(V__P,V__U)
         =>
         (( ? [V__L, V__R] :
             ((s__instance(V__L,s__Agent) &
                 (s__instance(V__R,s__Renting) &
                   s__landlord(V__L,V__U)
                 &
                 s__agent(V__R,V__P)
               &
               s__possesses(V__L,V__U)
             &
             s__patient(V__R,V__U)))))))))
)
)

Mid-level-ontology.kif 6251-6259


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 3.0 is open source software produced by Articulate Software and its partners