| appearance as argument number 1 |
|
| (documentation deviceAccount EnglishLanguage "A UserAccount on a particular Computer. it grants some degree of authority to use the resources of the computer once a LoggingIn has been completed or if it is a machine without a required login then anyone can use it, at least in some fashion, without credentials. A machine might have an open account with one set of privileges and a different account, requiring a login, for a different set of privileges.") | ComputingBrands.kif 3915-3920 | |
| (domain deviceAccount 1 UserAccount) | ComputingBrands.kif 3913-3913 | |
| (domain deviceAccount 2 Computer) | ComputingBrands.kif 3914-3914 | |
| (instance deviceAccount BinaryPredicate) | ComputingBrands.kif 3912-3912 |
| antecedent |
|
|
| (=> (and (hasAccount ?U ?AC) (password ?P ?AC) (deviceAccount ?AC ?D) (not (knows ?U (password ?P ?AC))) (knows ?U (recoveryKey ?S ?AC)) (possesses ?U ?D)) (modalAttribute (exists (?C) (and (instance ?C ChangingPassword) (patient ?C ?AC) (agent ?C ?U))) Possibility)) |
ComputingBrands.kif 4390-4407 | |
| (=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (deviceAccount ?A ?C) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 3951-3965 |
| consequent |
|
|
| (=> (loggedInDuring ?A ?UA ?T) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?A) (deviceAccount ?UA ?C) (instance ?C Computer) (computerRunning ?P ?C) (instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 4310-4321 |
|
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