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

Formal Language: 



KB Term:  Term intersection
English Word: 

  publishedPrice

Sigma KEE - publishedPrice
publishedPrice

appearance as argument number 1
-------------------------


(documentation publishedPrice EnglishLanguage "(publishedPrice ?ENT ?PRICE ?AGENT ?PS) means that the CurrencyMeasure ?PRICE is given by Agent ?AGENT to Entity ?ENT, based on conditions outlined in PricingScheme ?PS") Catalog.kif 322-324
(domain publishedPrice 2 CurrencyMeasure) Catalog.kif 328-328 The number 2 argument of published price is an instance of currency measure
(domain publishedPrice 3 CognitiveAgent) Catalog.kif 329-329 The number 3 argument of published price is an instance of cognitive agent
(domain publishedPrice 4 PricingScheme) Catalog.kif 330-330 The number 4 argument of published price is an instance of pricing scheme
(domainSubclass publishedPrice 1 Entity) Catalog.kif 327-327 The number 1 argument of published price is a subclass of entity
(instance publishedPrice QuaternaryPredicate) Catalog.kif 321-321 published price is an instance of quaternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage publishedPrice "%1 的 price 从 %3 根据 %4 是 %2 ") domainEnglishFormat.kif 4283-4283
(format ChineseTraditionalLanguage publishedPrice "%1 的 price 從 %3 根據 %4 是 %2 ") domainEnglishFormat.kif 4282-4282
(format EnglishLanguage publishedPrice "the price of %1 from %3 according to %4 is %2") domainEnglishFormat.kif 4281-4281
(termFormat EnglishLanguage publishedPrice "published price") Catalog.kif 325-325

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 332-347
(=>
    (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 349-365
(=>
    (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 367-382
(=>
    (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

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