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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - priceRange
priceRange

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


(documentation priceRange EnglishLanguage "(priceRange ?OBJ ?MIN ?MAX ?AGENT) means that Agent ?AGENT attaches range of possible productPrice for ?OBJ with minimum ?MIN and maximum ?MAX") Catalog.kif 193-195
(domain priceRange 2 CurrencyMeasure) Catalog.kif 199-199
(domain priceRange 3 CurrencyMeasure) Catalog.kif 200-200
(domain priceRange 4 Agent) Catalog.kif 201-201
(domainSubclass priceRange 1 Entity) Catalog.kif 198-198
(instance priceRange QuaternaryPredicate) Catalog.kif 192-192

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


(format ChineseLanguage priceRange "%1 costs between %2 ε’Œ %3 从 %4 ") domainEnglishFormat.kif 4219-4219
(format ChineseTraditionalLanguage priceRange "%1 costs between %2 ε’Œ %3 從 %4 ") domainEnglishFormat.kif 4218-4218
(format EnglishLanguage priceRange "%1 costs between %2 and %3 from %4") domainEnglishFormat.kif 4217-4217
(termFormat EnglishLanguage priceRange "price range") Catalog.kif 196-196

antecedent
-------------------------


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