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
searchResult
Sigma KEE - searchResult
searchResult
appearance as argument number 1
(
documentation
searchResult
EnglishLanguage
"(searchResult ?RESULT ?SA) relates a
WebListing
to a
SearchAttempt
where the listing is in the
SRPResults
.")
UXExperimentalTerms.kif 2328-2329
(
domain
searchResult
1
WebListing
)
UXExperimentalTerms.kif 2322-2322
The number 1 argument of
search result
is an
instance
of
web listing
(
domain
searchResult
2
SearchAttempt
)
UXExperimentalTerms.kif 2324-2324
The number 2 argument of
search result
is an
instance
of
search attempt
(
instance
searchResult
BinaryPredicate
)
UXExperimentalTerms.kif 2320-2320
search result
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
searchResult
"%1
result
s 从 searching 对于 %2 ")
domainEnglishFormat.kif 4478-4478
(
format
ChineseTraditionalLanguage
searchResult
"%1
result
s 從 searching 對於 %2 ")
domainEnglishFormat.kif 4477-4477
(
format
EnglishLanguage
searchResult
"%1
result
s from searching for %2")
domainEnglishFormat.kif 4476-4476
(
termFormat
EnglishLanguage
searchResult
"search result")
UXExperimentalTerms.kif 2326-2326
antecedent
(=>
(
searchResult
?RESULT ?SA)
(
exists
(?RESULTS)
(
and
(
instance
?RESULTS
SRPResults
)
(
inList
?RESULT ?RESULTS))))
UXExperimentalTerms.kif 2331-2336
If
a web listing
results
from
searching
for
a search attempt
,
then there exists
the web listing
S such that
the web listing
S is an
instance
of
search results
and
the web listing
is a
member
of
the web listing
S
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