Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| visitorParameter |
| appearance as argument number 1 |
|
| (instance visitorParameter TernaryPredicate) | UXExperimentalTerms.kif 1157-1157 | visitor profile parameter is an instance of ternary predicate |
| (domain visitorParameter 1 AutonomousAgent) | UXExperimentalTerms.kif 1161-1161 | The number 1 argument of visitor profile parameter is an instance of agent |
| (domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1163-1163 | The number 2 argument of visitor profile parameter is an instance of formula |
| (domain visitorParameter 3 WebSite) | UXExperimentalTerms.kif 1165-1165 | The number 3 argument of visitor profile parameter is an instance of web site |
| (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 | The number 3 argument of visitor profile parameter is an instance of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage visitorParameter "visitor profile parameter") | UXExperimentalTerms.kif 1159-1159 | |
| (format EnglishLanguage visitorParameter "%2 is known about %1 who visits %3") | domainEnglishFormat.kif 4942-4942 | |
| (format ChineseTraditionalLanguage visitorParameter "%2 是 known 關於 拜訪 %3 的 %1 ") | domainEnglishFormat.kif 4943-4943 | |
| (format ChineseLanguage visitorParameter "%2 是 known 关于 拜访 %3 的 %1 ") | domainEnglishFormat.kif 4944-4944 |
| antecedent |
|
|
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (webVisitor ?VISITOR ?SITE)) |
UXExperimentalTerms.kif 1171-1173 | If X is known about Y who visits Z, then Y is a visitor to Z |
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (possesses ?AGENT ?SITE) (knows ?AGENT ?FORMULA)))) |
UXExperimentalTerms.kif 1179-1185 | If X is known about Y who visits Z, then there exists W such that W is an instance of cognitive agent, W possesses Z, and W knows X |
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?PROFILE) (and (instance ?PROFILE VisitorProfile) (containsFormula ?PROFILE ?FORMULA)))) |
UXExperimentalTerms.kif 1187-1192 | If X is known about Y who visits Z, then there exists W such that W is an instance of visitor profile and W contains the formula X |
|