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
域
SRPEngagementFn
, 1 and
SearchResultsPage
(
instance
SRPEngagementFn
UnaryFunction
)
UXExperimentalTerms.kif 3709-3709
例
SRPEngagementFn
and
UnaryFunction
(
range
SRPEngagementFn
RealNumber
)
UXExperimentalTerms.kif 3713-3713
範圍
SRPEngagementFn
and
RealNumber
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
and
SearchResultsPage
例
List
and
SRPResults
零件
List
and
SearchResultsPage
等於
部
基數
卡帕
SymbolicString
and
例
SymbolicString
and
RequestingHyperlink
患者
SymbolicString
and
entity
目的地
SymbolicString
and
entity
例
entity
and
HypertextLink
零件
entity
and
SearchResultsPage
例
entity
and
ProductDescriptionPage
例
entity
and
ViewItemPage
and
列表長度
List
and
qualifying
clicks
在
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