TreeView Knowledge Base Browser

appearance as argument number 1

(instance rentalPrice QuaternaryPredicate)	Catalog.kif 447-447	rental price is an instance of quaternary predicate
(documentation rentalPrice EnglishLanguage "(rentalPrice ?OBJ ?PRICE ?AGENT ?PS) means that the CurrencyMeasure ?PRICE is paid for the use of Physical ?OBJ. CognitiveAgent ?AGENT sets this price with conditions stipulated in PricingScheme ?PS")	Catalog.kif 448-451	rental price is an instance of quaternary predicate
(domainSubclass rentalPrice 1 Physical)	Catalog.kif 454-454	The number 1 argument of rental price is a subclass of physical
(domain rentalPrice 2 FunctionQuantity)	Catalog.kif 455-455	The number 2 argument of rental price is an instance of function quantity
(domain rentalPrice 3 CognitiveAgent)	Catalog.kif 456-456	The number 3 argument of rental price is an instance of cognitive agent
(domain rentalPrice 4 PricingScheme)	Catalog.kif 457-457	The number 4 argument of rental price is an instance of pricing scheme

appearance as argument number 2

(termFormat EnglishLanguage rentalPrice "rental price")	Catalog.kif 452-452
(format EnglishLanguage rentalPrice "the price of %1 set by %3 according to %4 is %2")	domainEnglishFormat.kif 4384-4384
(format ChineseTraditionalLanguage rentalPrice "%1 由 %3 定的 price 根據 %4 是 %2 ")	domainEnglishFormat.kif 4385-4385
(format ChineseLanguage rentalPrice "%1 由 %3 定的 price 根据 %4 是 %2 ")	domainEnglishFormat.kif 4386-4386

antecedent

(=>
    (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
    (exists (?DURATION ?CURR)
        (and
            (instance ?DURATION TimeDuration)
            (instance ?CURR CurrencyMeasure)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))

Catalog.kif 459-465

If the price of X set by Y according to Z is W, then there exist V, U such that V is an instance of time duration, U is an instance of currency measure, equal W, the per of U, and V

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

KB Term:			Term intersection

English Word: