Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
Le nombre 1 argument de
LiftFn
est une
instance
de
quantit�
(
domain
LiftFn
2
Quantity
)
UXExperimentalTerms.kif 4553-4553
Le nombre 2 argument de
LiftFn
est une
instance
de
quantit�
(
instance
LiftFn
BinaryFunction
)
UXExperimentalTerms.kif 4549-4549
LiftFn
est une
instance
de
fonction binaire
(
range
LiftFn
RealNumber
)
UXExperimentalTerms.kif 4555-4555
Le
domaine
de
LiftFn
est une instance de
nombre r�el
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
Nombre r�el
est une
instance
de
quantit�
nombre r�el
est une
instance
de
quantit�
LiftFn
nombre r�el
and
nombre r�el
est
nombre r�el
+
nombre r�el
) +
nombre r�el
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