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

Formal Language: 



KB Term:  Term intersection
English Word: 

  priceRange

Sigma KEE - priceRange
priceRange

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


(documentation priceRange EnglishLanguage "(priceRange ?OBJ ?MIN ?MAX ?AGENT) means that AutonomousAgent ?AGENT attaches range of possible productPrice for ?OBJ with minimum ?MIN and maximum ?MAX") Catalog.kif 198-200
(domain priceRange 2 CurrencyMeasure) Catalog.kif 204-204 The number 2 argument of price range is an instance of currency measure
(domain priceRange 3 CurrencyMeasure) Catalog.kif 205-205 The number 3 argument of price range is an instance of currency measure
(domain priceRange 4 AutonomousAgent) Catalog.kif 206-206 The number 4 argument of price range is an instance of agent
(domainSubclass priceRange 1 Entity) Catalog.kif 203-203 The number 1 argument of price range is a subclass of entity
(instance priceRange QuaternaryPredicate) Catalog.kif 197-197 price range is an instance of quaternary predicate

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


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

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