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
webVisitor
Sigma KEE - webVisitor
webVisitor
appearance as argument number 1
(
documentation
webVisitor
EnglishLanguage
"(webvisitor ?HUMAN ?SITE) means that there exists an
AccessingWebPage
where ?HUMAN is the agent, and the page accessed is a component of ?SITE.")
UXExperimentalTerms.kif 1206-1207
(
documentation
webVisitor
EnglishLanguage
"A relationship between an
AutonomousAgent
and a
WebSite
, stating that the agent has visited the site.")
ComputerInput.kif 2950-2951
(
domain
webVisitor
1
AutonomousAgent
)
ComputerInput.kif 2948-2948
Die Zahl 1 Argument von
webVisitor
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
webVisitor
1
Human
)
UXExperimentalTerms.kif 1200-1200
Die Zahl 1 Argument von
webVisitor
ist ein
fall
von
Human
%n{nicht}
(
domain
webVisitor
2
WebSite
)
ComputerInput.kif 2949-2949
Die Zahl 2 Argument von
webVisitor
ist ein
fall
von
WebSite
%n{nicht}
(
instance
webVisitor
BinaryPredicate
)
UXExperimentalTerms.kif 1198-1198
webVisitor
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
webVisitor
"%1 是对于 %2 的 visitor ")
domainEnglishFormat.kif 4974-4974
(
format
ChineseTraditionalLanguage
webVisitor
"%1 是對於 %2 的 visitor ")
domainEnglishFormat.kif 4973-4973
(
format
EnglishLanguage
webVisitor
"%1 is a visitor to %2")
domainEnglishFormat.kif 4972-4972
(
termFormat
EnglishLanguage
webVisitor
"web visitor")
UXExperimentalTerms.kif 1204-1204
antecedent
(=>
(
webVisitor
?A ?WS)
(
exists
(?AWS ?WP)
(
and
(
instance
?AWS
AccessingWebPage
)
(
instance
?WP
WebPage
)
(
component
?WP ?WS)
(
agent
?AWS ?A)
(
patient
?AWS ?WP))))
ComputerInput.kif 2953-2961
Wenn
webVisitor
AutonomousAgent
and
WebSite
,
dann es gibt
** AutonomousAgent
WS und
CorpuscularObject
um
** AutonomousAgent
WS ist ein
fall
von
AccessingWebPage
%n{nicht} und
** CorpuscularObject
ist ein
fall
von
WebPage
%n{nicht} und
** CorpuscularObject
ist ein
bestandteil
von
** WebSite
%n{nicht} und
** AutonomousAgent
WS ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CorpuscularObject
ist ein
patient
von
** AutonomousAgent
WS %n{nicht}
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING ?PAGE)
(
component
?PAGE ?SITE)
(
agent
?ACCESSING ?VISITOR))))
UXExperimentalTerms.kif 1218-1226
Wenn
webVisitor
AutonomousAgent
and
WebSite
,
dann es gibt
Process
und
CorpuscularObject
um
** Process
ist ein
fall
von
AccessingWebPage
%n{nicht} und
** CorpuscularObject
ist ein
fall
von
WebPage
%n{nicht} und
** CorpuscularObject
ist ein
patient
von
** Process
%n{nicht} und
** CorpuscularObject
ist ein
bestandteil
von
** WebSite
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ID ?BROWSER)
(
and
(
instance
?ID
Identifier
)
(
instance
?BROWSER
WebBrowser
)
(
browserID
?ID ?BROWSER ?SITE)
(
represents
?ID ?VISITOR))))
UXExperimentalTerms.kif 1209-1216
Wenn
webVisitor
AutonomousAgent
and
WebSite
,
dann es gibt
Identifier
und
WebBrowser
um
** Identifier
ist ein
fall
von
Identifier
%n{nicht} und
** WebBrowser
ist ein
fall
von
WebBrowser
%n{nicht} und
browserID
** Identifier
,
** WebBrowser
and
** WebSite
und
** Identifier
drueckt
** AutonomousAgent
aus
consequent
(=>
(
underageUser
?HUMAN ?SITE)
(
webVisitor
?HUMAN ?SITE))
UXExperimentalTerms.kif 1074-1076
Wenn
underageUser
Human
and
WebSite
,
dann
webVisitor
** Human
and
** WebSite
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
webVisitor
?VISITOR ?SITE))
UXExperimentalTerms.kif 1171-1173
Wenn
visitorParameter
AutonomousAgent
,
Formula
and
WebSite
,
dann
webVisitor
** AutonomousAgent
and
** WebSite
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