| appearance as argument number 1 |
|
| (documentation visitorParameter EnglishLanguage "Links a webVisitor of a webSite to facts known about that visitor by someone who possesses that website. These facts are Formulas which refer to the user. These formulas are part of the user's VistorProfile.") | UXExperimentalTerms.kif 1364-1366 | |
| (domain visitorParameter 1 Agent) | UXExperimentalTerms.kif 1358-1358 | The number 1 argument of visitor profile parameter is an instance of agent |
| (domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1360-1360 | The number 2 argument of visitor profile parameter is an instance of formula |
| (domain visitorParameter 3 WebSite) | UXExperimentalTerms.kif 1362-1362 | The number 3 argument of visitor profile parameter is an instance of WebSite |
| (instance visitorParameter TernaryPredicate) | UXExperimentalTerms.kif 1354-1354 | visitor profile parameter is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage visitorParameter "%2 是 known 关于 拜访 %3 的 %1 ") | domainEnglishFormat.kif 4947-4947 | |
| (format ChineseTraditionalLanguage visitorParameter "%2 是 known 關於 拜訪 %3 的 %1 ") | domainEnglishFormat.kif 4946-4946 | |
| (format EnglishLanguage visitorParameter "%2 is known about %1 who visits %3") | domainEnglishFormat.kif 4945-4945 | |
| (termFormat EnglishLanguage visitorParameter "visitor profile parameter") | UXExperimentalTerms.kif 1356-1356 |
| antecedent |
|
|
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (possesses ?AGENT ?SITE) (knows ?AGENT ?FORMULA)))) |
UXExperimentalTerms.kif 1376-1382 |
|
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?PROFILE) (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)))) |
UXExperimentalTerms.kif 1384-1389 |
|
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (refers ?FORMULA ?USER)) |
UXExperimentalTerms.kif 1372-1374 | |
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (webVisitor ?VISITOR ?SITE)) |
UXExperimentalTerms.kif 1368-1370 |
| consequent |
|
|
| (=> (instance ?PROFILE VisitorProfile) (exists (?USER ?SITE) (and (instance ?USER Agent) (instance ?SITE WebSite) (forall (?FORMULA) (=> (and (member ?FORMULA ?PROFILE) (instance ?FORMULA Formula)) (visitorParameter ?USER ?FORMULA ?SITE)))))) |
UXExperimentalTerms.kif 1337-1348 |
|
|
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