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
visitorParameter
Sigma KEE - visitorParameter
visitorParameter
appearance as argument number 1
(
documentation
visitorParameter
EnglishLanguage
"Links a
webVisitor
of a webSite to facts known about that visitor by someone who
possesses
that website. These facts are
Formula
s which refer to the user. These formulas are part of the user's VistorProfile.")
UXExperimentalTerms.kif 1167-1169
(
domain
visitorParameter
1
AutonomousAgent
)
UXExperimentalTerms.kif 1161-1161
Die Zahl 1 Argument von
visitorParameter
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
visitorParameter
2
Formula
)
UXExperimentalTerms.kif 1163-1163
Die Zahl 2 Argument von
visitorParameter
ist ein
fall
von
Formula
%n{nicht}
(
domain
visitorParameter
3
WebSite
)
UXExperimentalTerms.kif 1165-1165
Die Zahl 3 Argument von
visitorParameter
ist ein
fall
von
WebSite
%n{nicht}
(
instance
visitorParameter
TernaryPredicate
)
UXExperimentalTerms.kif 1157-1157
visitorParameter
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
visitorParameter
"%2 是 known 关于 拜访 %3 的 %1 ")
domainEnglishFormat.kif 4938-4938
(
format
ChineseTraditionalLanguage
visitorParameter
"%2 是 known 關於 拜訪 %3 的 %1 ")
domainEnglishFormat.kif 4937-4937
(
format
EnglishLanguage
visitorParameter
"%2 is known about %1 who visits %3")
domainEnglishFormat.kif 4936-4936
(
termFormat
EnglishLanguage
visitorParameter
"visitor profile parameter")
UXExperimentalTerms.kif 1159-1159
antecedent
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
possesses
?AGENT ?SITE)
(
knows
?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1179-1185
Wenn
visitorParameter
AutonomousAgent
,
Formula
and
WebSite
,
dann es gibt
CognitiveAgent
um
** CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
besitzt
** WebSite
%n{nicht} und
** CognitiveAgent
kennt
** Formula
%n{nicht}
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
exists
(?PROFILE)
(
and
(
instance
?PROFILE
VisitorProfile
)
(
member
?FORMULA ?PROFILE))))
UXExperimentalTerms.kif 1187-1192
Wenn
visitorParameter
AutonomousAgent
,
Formula
and
WebSite
,
dann es gibt
Collection
um
** Collection
ist ein
fall
von
VisitorProfile
%n{nicht} und
** Formula
ist ein
Mitglied
von
** Collection
%n{nicht}
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
refers
?FORMULA ?USER))
UXExperimentalTerms.kif 1175-1177
Wenn
visitorParameter
AutonomousAgent
,
Formula
and
WebSite
,
dann
** Formula
umfasst einen
hinweis
auf
Entity
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
webVisitor
?VISITOR ?SITE))
UXExperimentalTerms.kif 1171-1173
Wenn
visitorParameter
AutonomousAgent
,
Formula
and
WebSite
,
dann
webVisitor
** AutonomousAgent
and
** WebSite
consequent
(=>
(
instance
?PROFILE
VisitorProfile
)
(
exists
(?USER ?SITE)
(
and
(
instance
?USER
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
forall
(?FORMULA)
(=>
(
and
(
member
?FORMULA ?PROFILE)
(
instance
?FORMULA
Formula
))
(
visitorParameter
?USER ?FORMULA ?SITE))))))
UXExperimentalTerms.kif 1140-1151
Wenn
Collection
ist ein
fall
von
VisitorProfile
%n{nicht},
dann es gibt
AutonomousAgent
und
WebSite
um
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** WebSite
ist ein
fall
von
WebSite
%n{nicht} und fuer alle
Formula
wenn
** Formula
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Formula
ist ein
fall
von
Formula
%n{nicht},
dann
visitorParameter
** AutonomousAgent
,
** Formula
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