|
|
   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 1130-1132 | |
| (subclass VisitorProfile Collection) | UXExperimentalTerms.kif 1126-1126 | VisitorProfile は コレクション の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VisitorProfile "visitor profile") | UXExperimentalTerms.kif 1128-1128 |
| antecedent |
|
|
| (=> (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)) (instance ?FORMULA Formula)) |
UXExperimentalTerms.kif 1134-1138 | |
| (=> (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 |
|
| consequent |
|
|
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?PROFILE) (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)))) |
UXExperimentalTerms.kif 1187-1192 |
|
|
|
|