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
The number 1 argument of
SRP Engagement
is an
instance
of
search results page
(
instance
SRPEngagementFn
UnaryFunction
)
UXExperimentalTerms.kif 3709-3709
SRP Engagement
is an
instance
of
unary function
(
range
SRPEngagementFn
RealNumber
)
UXExperimentalTerms.kif 3713-3713
The
range
of
SRP Engagement
is an instance of
real number
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
If
a search results page
is an
instance
of
search results page
and
a list
is an
instance
of
search results
and
the list
is a
component
of
the search results page
,
then the number of
instances
in the
class
described by
a symbolic string
and
length
of
the list
is
equal
to
qualifying
clicks
on
the search results page
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