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
域
webVisitor
, 1 and
AutonomousAgent
(
domain
webVisitor
1
Human
)
UXExperimentalTerms.kif 1200-1200
域
webVisitor
, 1 and
Human
(
domain
webVisitor
2
WebSite
)
ComputerInput.kif 2949-2949
域
webVisitor
, 2 and
WebSite
(
instance
webVisitor
BinaryPredicate
)
UXExperimentalTerms.kif 1198-1198
例
webVisitor
and
BinaryPredicate
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
AutonomousAgent
是對於
WebSite
的
visitor
AutonomousAgent
WS
CorpuscularObject
例
AutonomousAgent
WS and
AccessingWebPage
例
CorpuscularObject
and
WebPage
零件
CorpuscularObject
and
WebSite
agent
AutonomousAgent
WS and
AutonomousAgent
患者
AutonomousAgent
WS and
CorpuscularObject
(=>
(
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
AutonomousAgent
是對於
WebSite
的
visitor
Process
CorpuscularObject
例
Process
and
AccessingWebPage
例
CorpuscularObject
and
WebPage
患者
Process
and
CorpuscularObject
零件
CorpuscularObject
and
WebSite
agent
Process
and
AutonomousAgent
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ID ?BROWSER)
(
and
(
instance
?ID
Identifier
)
(
instance
?BROWSER
WebBrowser
)
(
browserID
?ID ?BROWSER ?SITE)
(
represents
?ID ?VISITOR))))
UXExperimentalTerms.kif 1209-1216
AutonomousAgent
是對於
WebSite
的
visitor
Identifier
WebBrowser
例
Identifier
and
Identifier
例
WebBrowser
and
WebBrowser
Identifier
是
WebBrowser
的
ID
當取用
WebSite
代表
Identifier
and
AutonomousAgent
consequent
(=>
(
underageUser
?HUMAN ?SITE)
(
webVisitor
?HUMAN ?SITE))
UXExperimentalTerms.kif 1074-1076
Human
是
WebSite
的
underage
user
Human
是對於
WebSite
的
visitor
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
webVisitor
?VISITOR ?SITE))
UXExperimentalTerms.kif 1171-1173
Formula
是
known
關於 拜訪
WebSite
的
AutonomousAgent
AutonomousAgent
是對於
WebSite
的
visitor
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