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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 410-412
(domain productPrice 2 CurrencyMeasure) Catalog.kif 416-416 The number 2 argument of product price is an instance of currency measure
(domain productPrice 3 CognitiveAgent) Catalog.kif 417-417 The number 3 argument of product price is an instance of cognitive agent
(domainSubclass productPrice 1 Entity) Catalog.kif 415-415 The number 1 argument of product price is a subclass of entity
(instance productPrice TernaryPredicate) Catalog.kif 409-409 product price is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage productPrice "%3 sells %1 對於 %2 ") domainEnglishFormat.kif 4246-4246
(format ChineseTraditionalLanguage productPrice "%3 sells %1 對於 %2 ") domainEnglishFormat.kif 4245-4245
(format EnglishLanguage productPrice "%3 sells %1 for %2") domainEnglishFormat.kif 4244-4244
(termFormat EnglishLanguage productPrice "product price") Catalog.kif 413-413


        (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))
        (transactionAmount ?B ?PRICE1) Likely))
Catalog.kif 430-445
    (productPrice ?ENT ?PRICE ?AGENT)
                (instance ?S Selling)
                (immediateInstance ?I ?ENT)
                (patient ?S ?I)
                (agent ?S ?AGENT))
            (transactionAmount ?S ?PRICE)) Likely))
Catalog.kif 419-428


        (priceRange ?ENT
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U) ?AGENT)
        (instance ?U UnitOfCurrency))
    (exists (?NUM ?PRICE ?PS)
            (lessThanOrEqualTo ?NUM ?MAX)
            (greaterThanOrEqualTo ?NUM ?MIN)
            (equal ?PRICE
                (MeasureFn ?NUM ?U))
                (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
                (productPrice ?ENT ?PRICE ?AGENT)
                (unitPrice ?ENT ?PRICE ?AGENT ?PS)))))
Catalog.kif 208-223

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