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 4559-4561
(domain LiftFn 1 Quantity)	UXExperimentalTerms.kif 4551-4551
(domain LiftFn 2 Quantity)	UXExperimentalTerms.kif 4553-4553
(instance LiftFn BinaryFunction)	UXExperimentalTerms.kif 4549-4549
(range LiftFn RealNumber)	UXExperimentalTerms.kif 4555-4555

appearance as argument number 2

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

consequent

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

UXExperimentalTerms.kif 4563-4571

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

KB Term:			Term intersection

English Word: