webVisitor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - webVisitor

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 2953-2954
(domain webVisitor 1 AutonomousAgent)	ComputerInput.kif 2951-2951	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 2952-2952	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 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	If an agent is a visitor to a web site, then there exist the agentWS and a corpuscular object such that the agentWS is an instance of accessing web page and the corpuscular object is an instance of web page and the corpuscular object is a component of the web site and the agent is an agent of the agentWS and the corpuscular object is a patient of the agentWS
(=> (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	If an agent is a visitor to a web site, then there exist a process and a corpuscular object such that the process is an instance of accessing web page and the corpuscular object is an instance of web page and the corpuscular object is a patient of the process and the corpuscular object is a component of the web site and the agent is an agent of the process
(=> (webVisitor ?VISITOR ?SITE) (exists (?ID ?BROWSER) (and (instance ?ID Identifier) (instance ?BROWSER WebBrowser) (browserID ?ID ?BROWSER ?SITE) (represents ?ID ?VISITOR))))	UXExperimentalTerms.kif 1209-1216	If an agent is a visitor to a web site, then there exist an identifier and a web browser such that the identifier is an instance of identifier and the web browser is an instance of web browser and the identifier is the ID of the web browser when accessing the web site and the identifier expresses the agent

consequent

(=> (underageUser ?HUMAN ?SITE) (webVisitor ?HUMAN ?SITE))	UXExperimentalTerms.kif 1074-1076	If a human is an underage user of a web site, then the human is a visitor to the web site
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (webVisitor ?VISITOR ?SITE))	UXExperimentalTerms.kif 1171-1173	If a formula is known about an agent who visits a web site, then the agent is a visitor to the web site

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