Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiftFn

Sigma KEE - LiftFn
LiftFn

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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners