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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4757-4759
(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4749-4749 The number 1 argument of lift is an instance of quantity
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4751-4751 The number 2 argument of lift is an instance of quantity
(instance LiftFn BinaryFunction) UXExperimentalTerms.kif 4747-4747 Lift is an instance of binary function
(range LiftFn RealNumber) UXExperimentalTerms.kif 4753-4753 The range of lift is an instance of real number

appearance as argument number 2
-------------------------


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

consequent
-------------------------


(=>
    (and
        (instance ?QUANTITY1 Quantity)
        (instance ?QUANTITY2 Quantity))
    (equal
        (LiftFn ?QUANTITY1 ?QUANTITY2)
        (DivisionFn
            (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))
UXExperimentalTerms.kif 4761-4769


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



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