ComputerUser - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage ComputerUser "电脑用户")	domainEnglishFormat.kif 16474-16474
(termFormat ChineseTraditionalLanguage ComputerUser "電腦用戶")	domainEnglishFormat.kif 16473-16473
(termFormat EnglishLanguage ComputerUser "computer user")	domainEnglishFormat.kif 16472-16472

antecedent

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

QoSontology.kif 1723-1728

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 2075-2079	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 4319-4326	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 1734-1739	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: