Renting - Sigma Knowledge base Browser

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	If a class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-811	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20514-20521	If a process is an instance of renting and an agent is an agent of the process and an entity is a patient of the process, then the statement the entity uses the agent has the modal force of permission holds during the time of existence of the process
( ! [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	If renters of a kind of hotel function room can pay to use a class and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price a real number an unit of measure(s) for the cognitive agent and the unit of measure is an instance of UnitOfCurrency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 458-483	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a quantity is an unit of measure and the unit of measure is an instance of UnitOfDuration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and the kind of physical possesses the cognitive agent and an agent is an agent of the process and the process exists during the quantityINT, then for all another time interval if the quantityINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is a real number the unit of measure(s) and the real number is less than or equal to the quantity, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1658-1666	If a physical is an instance of hotel function room and the physical is an element of belongings of an agent, then the physical has the purpose there exists an entity such that the entity is an instance of renting and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 9718-9727	If passenger car rental is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object is a customer of the third entity and the other entity is an instance of automobile and the entity is an instance of renting and the object possesses the other entity and the third entity is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 504-516	If an agreement specifies the rental of a kind of physical for a function quantity, then there exist a cognitive agent and another cognitive agent such that the agreement is a party to agreement of the cognitive agent and the agreement is a party to agreement of the other cognitive agent and the statement there exists an entity such that the entity is an instance of renting and a kind of physical is a patient of the entity and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent has the modal force of obligation
( ! [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	If a permanent residence is a landlord of an agent, then there exist a process and another agent such that the agent possesses the permanent residence and the permanent residence is a tenant of the other agent and the other agent is an agent of the process and the process is an instance of renting and the permanent residence is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27973-27981	If a cognitive agent rents an object to another cognitive agent during a time interval, then there exists an entity such that the entity is an instance of renting and the object is a patient of the entity and the other cognitive agent is an agent of the entity and the cognitive agent possesses the object holds during the time interval
( ! [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	If a permanent residence is a tenant of an agent, then there exist another agent and a process such that the process is an instance of renting and the permanent residence is a landlord of the other agent and the agent is an agent of the process and the other agent possesses the permanent residence and the permanent residence is a patient of the process

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

KB Term:			Term intersection

English Word: