ComputerUser - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerUser EnglishLanguage "Any individual who interacts with a computer.")	QoSontology.kif 1851-1852
(instance ComputerUser RelationalAttribute)	QoSontology.kif 1850-1850	Computer user is an instance of relational attribute

appearance as argument number 2

(termFormat ChineseLanguage ComputerUser "电脑用户")	domainEnglishFormat.kif 16467-16467
(termFormat ChineseTraditionalLanguage ComputerUser "電腦用戶")	domainEnglishFormat.kif 16466-16466
(termFormat EnglishLanguage ComputerUser "computer user")	domainEnglishFormat.kif 16465-16465

antecedent

(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?Computer ?User))))

QoSontology.kif 1854-1859

If computer user is an attribute of an agent,
then there exists an object such that the object is an instance of computer and the agent uses the object

consequent

(=> (holdsDuring ?T (hasAccount ?A ?UA)) (holdsDuring ?T (attribute ?A ComputerUser)))	QoSontology.kif 2207-2211	If an entity has account another entity holds during a time position, then computer user is an attribute of the entity holds during the time position
(=> (instance ?ACTION UserAction) (exists (?COMP_USER) (and (attribute ?COMP_USER ComputerUser) (agent ?ACTION ?COMP_USER))))	ComputerInput.kif 1173-1178	If a process is an instance of user action, then there exists an entity_USER such that computer user is an attribute of the entity_USER and the entity_USER is an agent of the process
(=> (instance ?DE DataEntry) (exists (?DD ?A) (and (instance ?DD DigitalData) (agent ?DD ?A) (attribute ?A ComputerUser) (result ?DE ?DD))))	ComputingBrands.kif 4314-4321	If a process is an instance of data entry, then there exist another process and an agent such that the other process is an instance of digital data and the agent is an agent of the other process and computer user is an attribute of the agent and the other process is a result of the process
(=> (instance ?Request UserRequest) (exists (?User) (and (attribute ?User ComputerUser) (agent ?Request ?User))))	QoSontology.kif 1865-1870	If a process is an instance of user request, then there exists an agent such that computer user is an attribute of the agent and the agent is an agent of the process

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

KB Term:			Term intersection

English Word: