rentalPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - rentalPrice

rentalPrice

appearance as argument number 1

(documentation rentalPrice EnglishLanguage "(rentalPrice ?OBJ ?PRICE ?AGENT ?PS) means that the CurrencyMeasure ?PRICE is paid for the use of Physical ?OBJ. CognitiveAgent ?AGENT sets this price with conditions stipulated in PricingScheme ?PS")	Catalog.kif 448-451
(domain rentalPrice 2 FunctionQuantity)	Catalog.kif 455-455	The number 2 argument of rental price is an instance of function quantity
(domain rentalPrice 3 CognitiveAgent)	Catalog.kif 456-456	The number 3 argument of rental price is an instance of cognitive agent
(domain rentalPrice 4 PricingScheme)	Catalog.kif 457-457	The number 4 argument of rental price is an instance of pricing scheme
(domainSubclass rentalPrice 1 Physical)	Catalog.kif 454-454	The number 1 argument of rental price is a subclass of physical
(instance rentalPrice QuaternaryPredicate)	Catalog.kif 447-447	rental price is an instance of quaternary predicate

appearance as argument number 2

(format ChineseLanguage rentalPrice "%1 由 %3 定的 price 根据 %4 是 %2 ")	domainEnglishFormat.kif 4386-4386
(format ChineseTraditionalLanguage rentalPrice "%1 由 %3 定的 price 根據 %4 是 %2 ")	domainEnglishFormat.kif 4385-4385
(format EnglishLanguage rentalPrice "the price of %1 set by %3 according to %4 is %2")	domainEnglishFormat.kif 4384-4384
(termFormat EnglishLanguage rentalPrice "rental price")	Catalog.kif 452-452

antecedent

(=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE (measure ?TIME ?U))) (instance ?U UnitOfDuration) (immediateInstance ?ITEM ?OBJ) (instance ?R Renting) (patient ?R ?ITEM) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (exists (?DURATION) (and (during ?TIMEINT ?X) (instance ?X TimeInterval) (duration ?X (MeasureFn ?DURATION ?U)) (lessThanOrEqualTo ?DURATION ?TIME))) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE))))))	Catalog.kif 467-492	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 real number is an unit of measure and the unit of measure is an instance of unit of duration 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 an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT 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 the other real number the unit of measure(s) and the other real number is less than or equal to the real number, 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
(=> (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (exists (?DURATION ?CURR) (and (instance ?DURATION TimeDuration) (instance ?CURR CurrencyMeasure) (equal ?QUANT (PerFn ?CURR ?DURATION)))))	Catalog.kif 459-465	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity, then there exist a physical quantity and another physical quantity such that the physical quantity is an instance of time duration and the other physical quantity is an instance of currency measure and the function quantity is equal to the per of the other physical quantity and the physical quantity

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