webVisitor |
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 2950-2951 | |
(domain webVisitor 1 AutonomousAgent) | ComputerInput.kif 2948-2948 | The number 1 argument of web visitor is an instance of agent |
(domain webVisitor 1 Human) | UXExperimentalTerms.kif 1200-1200 | The number 1 argument of web visitor is an instance of human |
(domain webVisitor 2 WebSite) | ComputerInput.kif 2949-2949 | The number 2 argument of web visitor is an instance of web site |
(instance webVisitor BinaryPredicate) | UXExperimentalTerms.kif 1198-1198 | web visitor is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage webVisitor "%1 是对于 %2 的 visitor ") | domainEnglishFormat.kif 4974-4974 | |
(format ChineseTraditionalLanguage webVisitor "%1 是對於 %2 的 visitor ") | domainEnglishFormat.kif 4973-4973 | |
(format EnglishLanguage webVisitor "%1 is a visitor to %2") | domainEnglishFormat.kif 4972-4972 | |
(termFormat EnglishLanguage webVisitor "web visitor") | UXExperimentalTerms.kif 1204-1204 |
antecedent |
consequent |
(=> (underageUser ?HUMAN ?SITE) (webVisitor ?HUMAN ?SITE)) |
UXExperimentalTerms.kif 1074-1076 |
|
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (webVisitor ?VISITOR ?SITE)) |
UXExperimentalTerms.kif 1171-1173 |
|