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
Hulling
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
O argumento numero 1 de
SRPEngagementFn
e' uma
instancia
de
SearchResultsPage
(
instance
SRPEngagementFn
UnaryFunction
)
UXExperimentalTerms.kif 3709-3709
SRPEngagementFn
e' uma
instancia
de
funcao Unaria
(
range
SRPEngagementFn
RealNumber
)
UXExperimentalTerms.kif 3713-3713
O
contra
-dominio de
SRPEngagementFn
e' uma instancia de
Numero Real
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
e' uma
instancia
de
SearchResultsPage
Lista
e' uma
instancia
de
SRPResults
Lista
e' um
componente
de
SearchResultsPage
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
+
comprimento
de
Lista
e'
igual
a
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