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
The number 1 argument of
web visitor
is an
instance
of
agent
(
domain
webVisitor
1
Human
)
UXExperimentalTerms.kif 1200-1200
The number 1 argument of
web visitor
is an
instance
of
human
(
domain
webVisitor
2
WebSite
)
ComputerInput.kif 2949-2949
The number 2 argument of
web visitor
is an
instance
of
web site
(
instance
webVisitor
BinaryPredicate
)
UXExperimentalTerms.kif 1198-1198
web visitor
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
webVisitor
"%1 是对于 %2 的 visitor ")
domainEnglishFormat.kif 4978-4978
(
format
ChineseTraditionalLanguage
webVisitor
"%1 是對於 %2 的 visitor ")
domainEnglishFormat.kif 4977-4977
(
format
EnglishLanguage
webVisitor
"%1 is a visitor to %2")
domainEnglishFormat.kif 4976-4976
(
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
If
an agent
is a
visitor
to
a web site
,
then there exist
the agent
WS and
a corpuscular object
such that
the agent
WS is an
instance
of
accessing web page
and
the corpuscular object
is an
instance
of
web page
and
the corpuscular object
is a
component
of
the web site
and
the agent
is an
agent
of
the agent
WS and
the corpuscular object
is a
patient
of
the agent
WS
(=>
(
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
If
an agent
is a
visitor
to
a web site
,
then there exist
a process
and
a corpuscular object
such that
the process
is an
instance
of
accessing web page
and
the corpuscular object
is an
instance
of
web page
and
the corpuscular object
is a
patient
of
the process
and
the corpuscular object
is a
component
of
the web site
and
the agent
is an
agent
of
the process
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ID ?BROWSER)
(
and
(
instance
?ID
Identifier
)
(
instance
?BROWSER
WebBrowser
)
(
browserID
?ID ?BROWSER ?SITE)
(
represents
?ID ?VISITOR))))
UXExperimentalTerms.kif 1209-1216
If
an agent
is a
visitor
to
a web site
,
then there exist
an identifier
and
a web browser
such that
the identifier
is an
instance
of
identifier
and
the web browser
is an
instance
of
web browser
and
the identifier
is the
ID
of
the web browser
when accessing
the web site
and
the identifier
express
es
the agent
consequent
(=>
(
underageUser
?HUMAN ?SITE)
(
webVisitor
?HUMAN ?SITE))
UXExperimentalTerms.kif 1074-1076
If
a human
is an
underage
user
of
a web site
,
then
the human
is a
visitor
to
the web site
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
webVisitor
?VISITOR ?SITE))
UXExperimentalTerms.kif 1171-1173
If
a formula
is
known
about
an agent
who visits
a web site
,
then
the agent
is a
visitor
to
the web site
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
webVisitor