| appearance as argument number 1 |
|
| (instance ComputerUser RelationalAttribute) | QoSontology.kif 1845-1845 | Computer user is an instance of relational attribute |
| (documentation ComputerUser EnglishLanguage "Any individual who interacts with a computer.") | QoSontology.kif 1846-1847 | Computer user is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User)))) |
QoSontology.kif 1849-1854 | If computer user is an attribute of X, then there exists Y such that Y is an instance of computer and X uses Y |
| consequent |
|
|
| (=> (instance ?ACTION UserAction) (exists (?COMP_USER) (and (attribute ?COMP_USER ComputerUser) (agent ?ACTION ?COMP_USER)))) |
ComputerInput.kif 1173-1178 | If X is an instance of user action, then there exists ?COMP_USER such that computer user is an attribute of ?COMP_USER and ?COMP_USER is an agent of X |
| (=> (instance ?DE DataEntry) (exists (?DD ?A) (and (instance ?DD DigitalData) (agent ?DD ?A) (attribute ?A ComputerUser) (result ?DE ?DD)))) |
ComputingBrands.kif 4225-4232 | If X is an instance of data entry, then there exist Y, Z such that Y is an instance of digital data, Z is an agent of Y, computer user is an attribute of Z, and Y is a result of X |
| (=> (instance ?FRIENDREQUEST FriendRequest) (exists (?USER1 ?USER2 ?REQUEST) (and (instance ?REQUEST Requesting) (instance ?USER1 FacebookUser) (agent ?REQUEST ?USER1) (instance ?USER2 ComputerUser) (patient ?REQUEST ?USER2) (result ?REQUEST ?FRIENDREQUEST)))) |
Facebook.kif 596-605 | If X is an instance of friend request, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of requesting (3) Y is an instance of Facebook user (4) Y is an agent of W (5) Z is an instance of computer user (6) Z is a patient of W (7) X is a result of W |
| (=> (instance ?Request UserRequest) (exists (?User) (and (attribute ?User ComputerUser) (agent ?Request ?User)))) |
QoSontology.kif 1860-1865 | If X is an instance of user request, then there exists Y such that computer user is an attribute of Y and Y is an agent of X |
| (=> (holdsDuring ?T (hasAccount ?A ?UA)) (holdsDuring ?T (attribute ?A ComputerUser))) |
QoSontology.kif 2202-2206 | If X has account Y holds during Z, then computer user is an attribute of X holds during Z |
|
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