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
Il numero 1 argomenti di
LiftFn
è un
istanza
di
Quantit�
(
domain
LiftFn
2
Quantity
)
UXExperimentalTerms.kif 4553-4553
Il numero 2 argomenti di
LiftFn
è un
istanza
di
Quantit�
(
instance
LiftFn
BinaryFunction
)
UXExperimentalTerms.kif 4549-4549
LiftFn
è un'
istanza
di
FunzioneBinaria
(
range
LiftFn
RealNumber
)
UXExperimentalTerms.kif 4555-4555
rango
di
LiftFn
è un'istanza di
NumeroReale
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
NumeroReale
è un'
istanza
di
Quantit�
NumeroReale
è un'
istanza
di
Quantit�
LiftFn
NumeroReale
and
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
+
NumeroReale
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