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
The number 1 argument of
lift
is an
instance
of
quantity
(
domain
LiftFn
2
Quantity
)
UXExperimentalTerms.kif 4553-4553
The number 2 argument of
lift
is an
instance
of
quantity
(
instance
LiftFn
BinaryFunction
)
UXExperimentalTerms.kif 4549-4549
Lift
is an
instance
of
binary function
(
range
LiftFn
RealNumber
)
UXExperimentalTerms.kif 4555-4555
The
range
of
lift
is an instance of
real number
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
If
a real number
is an
instance
of
quantity
and
another real number
is an
instance
of
quantity
,
then the
financial
improvement
percentage of
the real number
over
the other real number
is
equal
to (
the real number
and
the other real number
) and
the other real number
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