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 1167-1169 | |
(domain visitorParameter 1 AutonomousAgent) | UXExperimentalTerms.kif 1161-1161 | Il numero 1 argomenti di visitorParameter è un istanza di AutonomousAgent |
(domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1163-1163 | Il numero 2 argomenti di visitorParameter è un istanza di Formula |
(domain visitorParameter 3 WebSite) | UXExperimentalTerms.kif 1165-1165 | Il numero 3 argomenti di visitorParameter è un istanza di WebSite |
(instance visitorParameter TernaryPredicate) | UXExperimentalTerms.kif 1157-1157 | visitorParameter è un' istanza di PredicatoTernario |
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 | |
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?PROFILE) (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)))) |
UXExperimentalTerms.kif 1187-1192 |
|
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (refers ?FORMULA ?USER)) |
UXExperimentalTerms.kif 1175-1177 |
|
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (webVisitor ?VISITOR ?SITE)) |
UXExperimentalTerms.kif 1171-1173 |
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 |
|