ComputerUser |
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage ComputerUser "电脑用户") | domainEnglishFormat.kif 16458-16458 | |
(termFormat ChineseTraditionalLanguage ComputerUser "電腦用戶") | domainEnglishFormat.kif 16457-16457 | |
(termFormat EnglishLanguage ComputerUser "computer user") | domainEnglishFormat.kif 16456-16456 |
antecedent |
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User)))) |
QoSontology.kif 1723-1728 |
consequent |
(=> (holdsDuring ?T (hasAccount ?A ?UA)) (holdsDuring ?T (attribute ?A ComputerUser))) |
QoSontology.kif 2075-2079 | |
(=> (instance ?ACTION UserAction) (exists (?COMP_USER) (and (attribute ?COMP_USER ComputerUser) (agent ?ACTION ?COMP_USER)))) |
ComputerInput.kif 1173-1178 | |
(=> (instance ?DE DataEntry) (exists (?DD ?A) (and (instance ?DD DigitalData) (agent ?DD ?A) (attribute ?A ComputerUser) (result ?DE ?DD)))) |
ComputingBrands.kif 4319-4326 | |
(=> (instance ?Request UserRequest) (exists (?User) (and (attribute ?User ComputerUser) (agent ?Request ?User)))) |
QoSontology.kif 1734-1739 |