productPrice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation productPrice EnglishLanguage "(productPrice ?ENT ?QUANT ?AGENT) means that CognitiveAgent ?AGENT sells items of type Entity ?ENT for CurrencyMeasure ?QUANT")	Catalog.kif 405-407
(domain productPrice 2 CurrencyMeasure)	Catalog.kif 411-411	The number 2 argument of product price is an instance of currency measure
(domain productPrice 3 CognitiveAgent)	Catalog.kif 412-412	The number 3 argument of product price is an instance of cognitive agent
(domainSubclass productPrice 1 Entity)	Catalog.kif 410-410	The number 1 argument of product price is a subclass of entity
(instance productPrice TernaryPredicate)	Catalog.kif 404-404	product price is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage productPrice "%3 sells %1 對於 %2 ")	domainEnglishFormat.kif 4251-4251
(format ChineseTraditionalLanguage productPrice "%3 sells %1 對於 %2 ")	domainEnglishFormat.kif 4250-4250
(format EnglishLanguage productPrice "%3 sells %1 for %2")	domainEnglishFormat.kif 4249-4249
(termFormat EnglishLanguage productPrice "product price")	Catalog.kif 408-408

antecedent

(=> (and (productPrice ?ENT (MeasureFn ?PRICE1 ?U) ?AGENT) (instance ?U UnitOfCurrency) (publishedPrice ?ENT (MeasureFn ?PRICE2 ?U) ?AGENT ?PS) (validFor ?PS ?CUSTCLASS) (instance ?ITEM ?ENT) (instance ?B Buying) (immediateInstance ?CUST ?CUSTCLASS) (agent ?B ?CUST) (origin ?B ?AGENT) (lessThan ?PRICE2 ?PRICE1)) (modalAttribute (transactionAmount ?B ?PRICE1) Likely))	Catalog.kif 425-440	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other real number is less than the real number, then the statement the real number is a transaction amount of the process has the modal force of likely
(=> (productPrice ?ENT ?PRICE ?AGENT) (modalAttribute (=> (and (instance ?S Selling) (immediateInstance ?I ?ENT) (patient ?S ?I) (agent ?S ?AGENT)) (transactionAmount ?S ?PRICE)) Likely))	Catalog.kif 414-423	If a cognitive agent sells a kind of entity for a currency measure, then the statement if another entity is an instance of selling and a third entity is an immediate instance of a kind of entity and the third entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the currency measure is a transaction amount of the other entity has the modal force of likely

consequent

(=>
    (and
        (priceRange ?ENT
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U) ?AGENT)
        (instance ?U UnitOfCurrency))
    (exists (?NUM ?PRICE ?PS)
        (and
            (lessThanOrEqualTo ?NUM ?MAX)
            (greaterThanOrEqualTo ?NUM ?MIN)
            (equal ?PRICE
                (MeasureFn ?NUM ?U))
            (or
                (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
                (productPrice ?ENT ?PRICE ?AGENT)
                (unitPrice ?ENT ?PRICE ?AGENT ?PS)))))

Catalog.kif 203-218

If a kind of entity costs between a real number an unit of measure(s) and another real number the unit of measure(s) from a cognitive agent and the unit of measure is an instance of UnitOfCurrency,
then there exist a third real number, a function quantity and a pricing scheme such that the third real number is less than or equal to the other real number and the third real number is greater than or equal to the real number and the function quantity is equal to the third real number the unit of measure(s) and the price of a kind of entity from the cognitive agent according to the pricing scheme is the function quantity or the cognitive agent sells the kind of entity for the function quantity or the unit price charged the cognitive agent under the pricing scheme for the function quantity is the kind of entity

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: