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 Formulas which refer to the user. These formulas are part of the user's VistorProfile.") | UXExperimentalTerms.kif 1364-1366 | |
(domain visitorParameter 1 Agent) | UXExperimentalTerms.kif 1358-1358 | The number 1 argument of visitor profile parameter is an instance of agent |
(domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1360-1360 | The number 2 argument of visitor profile parameter is an instance of formula |
(domain visitorParameter 3 WebSite) | UXExperimentalTerms.kif 1362-1362 | The number 3 argument of visitor profile parameter is an instance of WebSite |
(instance visitorParameter TernaryPredicate) | UXExperimentalTerms.kif 1354-1354 | visitor profile parameter is an instance of ternary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage visitorParameter "%2 是 known 关于 拜访 %3 的 %1 ") | domainEnglishFormat.kif 4947-4947 | |
(format ChineseTraditionalLanguage visitorParameter "%2 是 known 關於 拜訪 %3 的 %1 ") | domainEnglishFormat.kif 4946-4946 | |
(format EnglishLanguage visitorParameter "%2 is known about %1 who visits %3") | domainEnglishFormat.kif 4945-4945 | |
(termFormat EnglishLanguage visitorParameter "visitor profile parameter") | UXExperimentalTerms.kif 1356-1356 |
antecedent |
![]() |
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (possesses ?AGENT ?SITE) (knows ?AGENT ?FORMULA)))) |
UXExperimentalTerms.kif 1376-1382 |
|
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?PROFILE) (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)))) |
UXExperimentalTerms.kif 1384-1389 |
|
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (refers ?FORMULA ?USER)) |
UXExperimentalTerms.kif 1372-1374 | |
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (webVisitor ?VISITOR ?SITE)) |
UXExperimentalTerms.kif 1368-1370 |
consequent |
![]() |
(=> (instance ?PROFILE VisitorProfile) (exists (?USER ?SITE) (and (instance ?USER Agent) (instance ?SITE WebSite) (forall (?FORMULA) (=> (and (member ?FORMULA ?PROFILE) (instance ?FORMULA Formula)) (visitorParameter ?USER ?FORMULA ?SITE)))))) |
UXExperimentalTerms.kif 1337-1348 |
|
![]() |
![]() |