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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerUser

Sigma KEE - ComputerUser
ComputerUser(computer user)

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


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

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


(termFormat ChineseLanguage ComputerUser "电脑用户") domainEnglishFormat.kif 16381-16381
(termFormat ChineseTraditionalLanguage ComputerUser "電腦用戶") domainEnglishFormat.kif 16380-16380
(termFormat EnglishLanguage ComputerUser "computer user") domainEnglishFormat.kif 16379-16379

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


(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?User ?Computer))))
QoSontology.kif 1728-1733

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


(=>
    (holdsDuring ?T
        (hasAccount ?A ?UA))
    (holdsDuring ?T
        (attribute ?A ComputerUser)))
QoSontology.kif 2081-2085
(=>
    (instance ?ACTION UserAction)
    (exists (?COMP_USER)
        (and
            (attribute ?COMP_USER ComputerUser)
            (agent ?ACTION ?COMP_USER))))
ComputerInput.kif 1200-1205
(=>
    (instance ?DE DataEntry)
    (exists (?DD)
        (and
            (instance ?DD DigitalData)
            (agent ?DD ?A)
            (attribute ?A ComputerUser)
            (result ?DE ?DD))))
ComputingBrands.kif 4244-4251
(=>
    (instance ?Request UserRequest)
    (exists (?User)
        (and
            (attribute ?User ComputerUser)
            (agent ?Request ?User))))
QoSontology.kif 1739-1744


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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