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
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4751-4751
(instance LiftFn BinaryFunction) UXExperimentalTerms.kif 4747-4747
(range LiftFn RealNumber) UXExperimentalTerms.kif 4753-4753

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners