Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  productPrice

Sigma KEE - productPrice
productPrice

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
(=>
    (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

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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