Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VisitorProfile(visitor profile) |
| appearance as argument number 1 |
|
| (subclass VisitorProfile Collection) | UXExperimentalTerms.kif 1126-1126 | Visitor profile is a subclass of collection |
| (documentation VisitorProfile EnglishLanguage "A type of Collection of Formulas which are known by someone who possesses a WebSite. All the members of this collection refer to a common AutonomousAgent, and visitorParameters of a common WebSite") | UXExperimentalTerms.kif 1130-1132 | Visitor profile is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VisitorProfile "visitor profile") | UXExperimentalTerms.kif 1128-1128 |
| consequent |
|
|
| (=> (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 |
|