TreeView Knowledge Base Browser

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 4214-4214
(format ChineseTraditionalLanguage priceRange "%1 costs between %2 和 %3 從 %4 ")	domainEnglishFormat.kif 4213-4213
(format EnglishLanguage priceRange "%1 costs between %2 and %3 from %4")	domainEnglishFormat.kif 4212-4212
(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

If a kind of entity costs between a real number an unit of measure(s) and another real number the unit of measure(s) from a cognitive agent and the unit of measure is an instance of unit of currency,
then there exist a third real number, a function quantity and a pricing scheme such that the third real number is less than or equal to the other real number and the third real number is greater than or equal to the real number and the function quantity is equal to the third real number the unit of measure(s) and the price of a kind of entity from the cognitive agent according to the pricing scheme is the function quantity or the cognitive agent sells the kind of entity for the function quantity or the unit price charged the cognitive agent under the pricing scheme for the function quantity is the kind of entity

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

KB Term:			Term intersection

English Word: