TreeView Knowledge Base Browser

appearance as argument number 1

(instance LiftFn BinaryFunction)	UXExperimentalTerms.kif 4546-4546	Lift is an instance of binary function
(domain LiftFn 1 Quantity)	UXExperimentalTerms.kif 4548-4548	The number 1 argument of lift is an instance of quantity
(domain LiftFn 2 Quantity)	UXExperimentalTerms.kif 4550-4550	The number 2 argument of lift is an instance of quantity
(range LiftFn RealNumber)	UXExperimentalTerms.kif 4552-4552	The range of lift is an instance of real number
(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 4556-4558	The range of lift is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage LiftFn "lift")	UXExperimentalTerms.kif 4554-4554
(format EnglishLanguage LiftFn "the financial improvement percentage of %1 over %2")	domainEnglishFormat.kif 3754-3754
(format ChineseTraditionalLanguage LiftFn "%1 的 financial improvement 百分比在 %2 之上")	domainEnglishFormat.kif 3755-3755
(format ChineseLanguage LiftFn "%1 的 financial improvement 百分比在 %2 之上")	domainEnglishFormat.kif 3756-3756

consequent

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

UXExperimentalTerms.kif 4560-4568

If X is an instance of quantity and Y is an instance of quantity, then equal the financial improvement percentage of X over Y and (X and Y) and Y

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

KB Term:			Term intersection

English Word: