TreeView Knowledge Base Browser

appearance as argument number 1

(documentation LiftFn EnglishLanguage "(LiftFn ?QUANTITY1 ?QUANTITY2) returns the lift of the quantities. i.e. (?QUANTITY1 - ?QUANTITY2)/ (?QUANTITY2). In an experiment ?QUANTITY2 is the Quantity that represents the control group.")	UXExperimentalTerms.kif 4760-4762
(domain LiftFn 1 Quantity)	UXExperimentalTerms.kif 4752-4752	The number 1 argument of lift is an instance of quantity
(domain LiftFn 2 Quantity)	UXExperimentalTerms.kif 4754-4754	The number 2 argument of lift is an instance of quantity
(instance LiftFn BinaryFunction)	UXExperimentalTerms.kif 4750-4750	Lift is an instance of binary function
(range LiftFn RealNumber)	UXExperimentalTerms.kif 4756-4756	The range of lift is an instance of real number

appearance as argument number 2

(format ChineseLanguage LiftFn "%1 的 financial improvement 百分比在 %2 之上")	domainEnglishFormat.kif 3763-3763
(format ChineseTraditionalLanguage LiftFn "%1 的 financial improvement 百分比在 %2 之上")	domainEnglishFormat.kif 3762-3762
(format EnglishLanguage LiftFn "the financial improvement percentage of %1 over %2")	domainEnglishFormat.kif 3761-3761
(termFormat EnglishLanguage LiftFn "lift")	UXExperimentalTerms.kif 4758-4758

consequent

(=>
    (and
        (instance ?QUANTITY1 Quantity)
        (instance ?QUANTITY2 Quantity))
    (equal
        (LiftFn ?QUANTITY1 ?QUANTITY2)
        (DivisionFn
            (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))

UXExperimentalTerms.kif 4764-4772

If a real number is an instance of quantity and another real number is an instance of quantity,
then the financial improvement percentage of the real number over the other real number is equal to (the real number and the other real number) and the other real number

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

KB Term:			Term intersection

English Word: