| appearance as argument number 1 |
|
| (documentation ComputerUser EnglishLanguage "Any individual who interacts with a computer.") | QoSontology.kif 1826-1827 | |
| (instance ComputerUser RelationalAttribute) | QoSontology.kif 1825-1825 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerUser "电脑用户") | domainEnglishFormat.kif 16469-16469 | |
| (termFormat ChineseTraditionalLanguage ComputerUser "電腦用戶") | domainEnglishFormat.kif 16468-16468 | |
| (termFormat EnglishLanguage ComputerUser "computer user") | domainEnglishFormat.kif 16467-16467 |
| antecedent |
|
|
| (=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User)))) |
QoSontology.kif 1829-1834 |
| consequent |
|
|
| (=> (holdsDuring ?T (hasAccount ?A ?UA)) (holdsDuring ?T (attribute ?A ComputerUser))) |
QoSontology.kif 2181-2185 | |
| (=> (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 1840-1845 |
|
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