Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerUser
ComputerUser(computer user)computer_user

appearance as argument number 1
-------------------------


(documentation ComputerUser EnglishLanguage "Any individual who interacts with a computer.") QoSontology.kif 1715-1716
(subclass ComputerUser CognitiveAgent) QoSontology.kif 1714-1714 Computer user is a subclass of cognitive agent

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ComputerUser "computer user") domainEnglishFormat.kif 3164-3164 "computer user" is the printable form of computer user in english language

appearance as argument number 3
-------------------------


(domain hasAccount 1 ComputerUser) QoSontology.kif 2058-2058 The number 1 argument of has account is an instance of computer user
(domain password 2 ComputerUser) QoSontology.kif 2079-2079 The number 2 argument of password is an instance of computer user
(domain userName 1 ComputerUser) QoSontology.kif 2048-2048 The number 1 argument of userName is an instance of computer user

antecedent
-------------------------


(=>
    (instance ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?User ?Computer))))
QoSontology.kif 1718-1723

consequent
-------------------------


(=>
    (instance ?ACTION UserAction)
    (exists (?COMP_USER)
        (and
            (instance ?COMP_USER ComputerUser)
            (agent ?ACTION ?COMP_USER))))
ComputerInput.kif 900-905
(=>
    (instance ?Request UserRequest)
    (exists (?User)
        (and
            (instance ?User ComputerUser)
            (agent ?Request ?User))))
QoSontology.kif 1729-1734


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners