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 |
|