|
|
   VisitorProfile
|
|
|
| appearance as argument number 1 |
|
|
| (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 1327-1329 | |
| (subclass VisitorProfile Collection) | UXExperimentalTerms.kif 1323-1323 | VisitorProfile est une sous-classe de collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VisitorProfile "visitor profile") | UXExperimentalTerms.kif 1325-1325 |
| antecedent |
|
|
| (=> (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)) (instance ?FORMULA Formula)) |
UXExperimentalTerms.kif 1331-1335 |
|
| (=> (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 1337-1348 |
|
| consequent |
|
|
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?PROFILE) (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)))) |
UXExperimentalTerms.kif 1384-1389 |
|
|
|
|