| appearance as argument number 1 |
|
| (documentation ComputerUser EnglishLanguage "Any individual who interacts with a computer.") | QoSontology.kif 1851-1852 | |
| (instance ComputerUser RelationalAttribute) | QoSontology.kif 1850-1850 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerUser "电脑用户") | domainEnglishFormat.kif 16473-16473 | |
| (termFormat ChineseTraditionalLanguage ComputerUser "電腦用戶") | domainEnglishFormat.kif 16472-16472 | |
| (termFormat EnglishLanguage ComputerUser "computer user") | domainEnglishFormat.kif 16471-16471 |
| antecedent |
|
|
| (=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User)))) |
QoSontology.kif 1854-1859 |
| consequent |
|
|
| (=> (holdsDuring ?T (hasAccount ?A ?UA)) (holdsDuring ?T (attribute ?A ComputerUser))) |
QoSontology.kif 2207-2211 | |
| (=> (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 4314-4321 | |
| (=> (instance ?Request UserRequest) (exists (?User) (and (attribute ?User ComputerUser) (agent ?Request ?User)))) |
QoSontology.kif 1865-1870 |
|
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