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 4559-4561
(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4551-4551 LiftFn の数値 1 引数は instance では %n
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4553-4553 LiftFn の数値 2 引数は instance では %n
(instance LiftFn BinaryFunction) UXExperimentalTerms.kif 4549-4549 LiftFn2変数関数instance では %n
(range LiftFn RealNumber) UXExperimentalTerms.kif 4555-4555 LiftFnrange実数 のインスタンス では %n

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)

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