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 1403-1404
(documentation webVisitor EnglishLanguage "A relationship between an AutonomousAgent and a WebSite, stating that the agent has visited the site.")	ComputerInput.kif 2951-2952
(domain webVisitor 1 AutonomousAgent)	ComputerInput.kif 2949-2949	The number 1 argument of web visitor is an instance of agent
(domain webVisitor 1 Human)	UXExperimentalTerms.kif 1397-1397	The number 1 argument of web visitor is an instance of human
(domain webVisitor 2 WebSite)	ComputerInput.kif 2950-2950	The number 2 argument of web visitor is an instance of web site
(instance webVisitor BinaryPredicate)	UXExperimentalTerms.kif 1395-1395	web visitor is an instance of binary predicate
(instance webVisitor CaseRole)	ComputerInput.kif 2948-2948	web visitor is an instance of case role

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 1401-1401

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 2954-2962	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 1415-1423	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 1406-1413	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 1271-1273	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 1368-1370	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