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
SRPEngagementFn
Sigma KEE - SRPEngagementFn
SRPEngagementFn
appearance as argument number 1
(
documentation
SRPEngagementFn
EnglishLanguage
"(SRPEngagementFn ?SRP) returns the number of
RequestingHyperlink
s from a
SearchResultsPage
where the
destination
is either
ProductDescriptionPage
or a
ViewItemPage
, over the number of
SRPResults
")
UXExperimentalTerms.kif 3717-3719
(
domain
SRPEngagementFn
1
SearchResultsPage
)
UXExperimentalTerms.kif 3711-3711
Le nombre 1 argument de
SRPEngagementFn
est une
instance
de
SearchResultsPage
(
instance
SRPEngagementFn
UnaryFunction
)
UXExperimentalTerms.kif 3709-3709
SRPEngagementFn
est une
instance
de
function unaire
(
range
SRPEngagementFn
RealNumber
)
UXExperimentalTerms.kif 3713-3713
Le
domaine
de
SRPEngagementFn
est une instance de
nombre r�el
appearance as argument number 2
(
format
ChineseLanguage
SRPEngagementFn
"qualifying clicks 在 %1 ")
domainEnglishFormat.kif 4598-4598
(
format
ChineseTraditionalLanguage
SRPEngagementFn
"qualifying clicks 在 %1 ")
domainEnglishFormat.kif 4597-4597
(
format
EnglishLanguage
SRPEngagementFn
"qualifying clicks on %1")
domainEnglishFormat.kif 4596-4596
(
termFormat
EnglishLanguage
SRPEngagementFn
"SRP Engagement")
UXExperimentalTerms.kif 3715-3715
consequent
(=>
(
and
(
instance
?PAGE
SearchResultsPage
)
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?CLICK
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?ELEMENT)
(
destination
?CLICK ?LINKEDPAGE)
(
instance
?ELEMENT
HypertextLink
)
(
component
?ELEMENT ?PAGE)
(
or
(
instance
?LINKEDPAGE
ProductDescriptionPage
)
(
instance
?LINKEDPAGE
ViewItemPage
)))))
(
ListLengthFn
?RESULTS))
(
SRPEngagementFn
?PAGE)))
UXExperimentalTerms.kif 3721-3739
SearchResultsPage
est une
instance
de
SearchResultsPage
liste
est une
instance
de
SRPResults
liste
est un
composant
de
SearchResultsPage
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
+
longueur
de
liste
est
SRPEngagementFn
SearchResultsPage
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