| 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 | Visitor profile is a subclass of collection |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners