unitPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - unitPrice

unitPrice

appearance as argument number 1

(documentation unitPrice EnglishLanguage "(unitPrice ?ENT ?QUANT ?AGENT ?PS) is meant for objects that are not sold by the piece but by a certain unit of measure, for instance, vegetables that are sold by the pound. FunctionQuantity ?QUANT, in this case, refers to (PerFn CurrencyMeasure (MeasureFn RealNumber UnitOfMeasure)), which reads something like X amount of money per Y unit. This can be attached to a PricingScheme ?PS by CognitiveAgent ?AGENT")	Catalog.kif 391-396
(domain unitPrice 2 FunctionQuantity)	Catalog.kif 398-398	The number 2 argument of unit price is an instance of function quantity
(domain unitPrice 3 CognitiveAgent)	Catalog.kif 399-399	The number 3 argument of unit price is an instance of cognitive agent
(domain unitPrice 4 PricingScheme)	Catalog.kif 400-400	The number 4 argument of unit price is an instance of pricing scheme
(domainSubclass unitPrice 1 Entity)	Catalog.kif 397-397	The number 1 argument of unit price is a subclass of entity
(instance unitPrice QuaternaryPredicate)	Catalog.kif 390-390	unit price is an instance of quaternary predicate

appearance as argument number 2

(format ChineseLanguage unitPrice "unit price 已收费 %3 在 %4 底下对于 %2 是 %1 ")	domainEnglishFormat.kif 4880-4880
(format ChineseTraditionalLanguage unitPrice "unit price 已收費 %3 在 %4 底下對於 %2 是 %1 ")	domainEnglishFormat.kif 4879-4879
(format EnglishLanguage unitPrice "the unit price charged %3 under %4 for %2 is %1")	domainEnglishFormat.kif 4878-4878
(termFormat EnglishLanguage unitPrice "unit price")	domainEnglishFormat.kif 66026-66026

antecedent

(=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 337-352	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validFor ?PS ?CUSTCLASS) (instance ?CUSTOMER ?CUSTCLASS)) (modalAttribute (=> (and (instance ?B Buying) (agent ?B ?CUSTOMER) (origin ?B ?AGENT) (patient ?B ?ITEM)) (transactionAmount ?B ?PRICE)) Likely))	Catalog.kif 354-370	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity has the modal force of likely
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validityPeriod ?PS ?TIMEINT)) (holdsDuring ?TIMEINT (modalAttribute (=> (and (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?ITEM)) (transactionAmount ?S ?PRICE)) Likely)))	Catalog.kif 372-387	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid during a time interval, then the statement if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity, then the currency measure is a transaction amount of the third entity has the modal force of likely holds during the time interval
(=> (unitPrice ?ENT ?QUANT ?AGENT ?PS) (exists (?MEAS ?AMT ?UOM) (and (equal ?QUANT (PerFn ?MEAS (MeasureFn ?AMT ?UOM))) (instance ?MEAS CurrencyMeasure))))	Catalog.kif 402-407	If the unit price charged a cognitive agent under a pricing scheme for a function quantity is a kind of entity, then there exist a physical quantity, a real number and an unit of measure such that the function quantity is equal to the per of the physical quantity and the real number the unit of measure(s) and the physical quantity is an instance of currency measure

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