| appearance as argument number 1 |
|
| (documentation webVisitor EnglishLanguage "(webvisitor ?HUMAN ?SITE) means that there exists an AccessingWebPage where ?HUMAN is the agent, and the page accessed is a component of ?SITE.") | UXExperimentalTerms.kif 1206-1207 | |
| (documentation webVisitor EnglishLanguage "A relationship between an AutonomousAgent and a WebSite, stating that the agent has visited the site.") | ComputerInput.kif 2953-2954 | |
| (domain webVisitor 1 AutonomousAgent) | ComputerInput.kif 2951-2951 | |
| (domain webVisitor 1 Human) | UXExperimentalTerms.kif 1200-1200 | |
| (domain webVisitor 2 WebSite) | ComputerInput.kif 2952-2952 | |
| (instance webVisitor BinaryPredicate) | UXExperimentalTerms.kif 1198-1198 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage webVisitor "%1 是对于 %2 的 visitor ") | domainEnglishFormat.kif 4982-4982 | |
| (format ChineseTraditionalLanguage webVisitor "%1 是對於 %2 的 visitor ") | domainEnglishFormat.kif 4981-4981 | |
| (format EnglishLanguage webVisitor "%1 is a visitor to %2") | domainEnglishFormat.kif 4980-4980 | |
| (termFormat EnglishLanguage webVisitor "web visitor") | UXExperimentalTerms.kif 1204-1204 |
| antecedent |
|
|
| (=> (webVisitor ?A ?WS) (exists (?AWS ?WP) (and (instance ?AWS AccessingWebPage) (instance ?WP WebPage) (component ?WP ?WS) (agent ?AWS ?A) (patient ?AWS ?WP)))) |
ComputerInput.kif 2956-2964 | |
| (=> (webVisitor ?VISITOR ?SITE) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (component ?PAGE ?SITE) (agent ?ACCESSING ?VISITOR)))) |
UXExperimentalTerms.kif 1218-1226 | |
| (=> (webVisitor ?VISITOR ?SITE) (exists (?ID ?BROWSER) (and (instance ?ID Identifier) (instance ?BROWSER WebBrowser) (browserID ?ID ?BROWSER ?SITE) (represents ?ID ?VISITOR)))) |
UXExperimentalTerms.kif 1209-1216 |
| consequent |
|
|
| (=> (underageUser ?HUMAN ?SITE) (webVisitor ?HUMAN ?SITE)) |
UXExperimentalTerms.kif 1074-1076 | |
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (webVisitor ?VISITOR ?SITE)) |
UXExperimentalTerms.kif 1171-1173 |
|
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