Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SSHWS1
SSHWS2
SSHWS3
SSHWS4
SSHWS5
SSHWSAttribute
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
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 1402-1403
(
documentation
webVisitor
EnglishLanguage
"A relationship between an
Agent
and a
WebSite
, stating that the agent has visited the site.")
ComputerInput.kif 2914-2915
(
domain
webVisitor
1
Agent
)
ComputerInput.kif 2912-2912
(
domain
webVisitor
1
Human
)
UXExperimentalTerms.kif 1396-1396
(
domain
webVisitor
2
WebSite
)
ComputerInput.kif 2913-2913
(
instance
webVisitor
BinaryPredicate
)
UXExperimentalTerms.kif 1394-1394
(
instance
webVisitor
CaseRole
)
ComputerInput.kif 2911-2911
appearance as argument number 2
(
format
ChineseLanguage
webVisitor
"%1 是对于 %2 的 visitor ")
domainEnglishFormat.kif 4983-4983
(
format
ChineseTraditionalLanguage
webVisitor
"%1 是對於 %2 的 visitor ")
domainEnglishFormat.kif 4982-4982
(
format
EnglishLanguage
webVisitor
"%1 is a visitor to %2")
domainEnglishFormat.kif 4981-4981
(
termFormat
EnglishLanguage
webVisitor
"web visitor")
UXExperimentalTerms.kif 1400-1400
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 2917-2925
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING ?PAGE)
(
component
?PAGE ?SITE)
(
agent
?ACCESSING ?VISITOR))))
UXExperimentalTerms.kif 1414-1422
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ID ?BROWSER)
(
and
(
instance
?ID
Identifier
)
(
instance
?BROWSER
WebBrowser
)
(
browserID
?ID ?BROWSER ?SITE)
(
represents
?ID ?VISITOR))))
UXExperimentalTerms.kif 1405-1412
consequent
(=>
(
underageUser
?HUMAN ?SITE)
(
webVisitor
?HUMAN ?SITE))
UXExperimentalTerms.kif 1269-1271
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
webVisitor
?VISITOR ?SITE))
UXExperimentalTerms.kif 1367-1369
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