Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - deviceAccount
deviceAccount

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 3952-3957
(domain deviceAccount 1 UserAccount) ComputingBrands.kif 3950-3950 The number 1 argument of device account is an instance of user account
(domain deviceAccount 2 Computer) ComputingBrands.kif 3951-3951 The number 2 argument of device account is an instance of computer
(instance deviceAccount BinaryPredicate) ComputingBrands.kif 3949-3949 device account is an instance of binary predicate

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage deviceAccount "device account") domainEnglishFormat.kif 65808-65808

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 4427-4444
(=>
    (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 3988-4002

consequent
-------------------------


(=>
    (loggedInDuring ?A ?UA ?T)
    (modalAttribute
        (holdsDuring ?T
            (exists (?P ?C)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?A)
                    (deviceAccount ?UA ?C)
                    (instance ?C Computer)
                    (computerRunning ?P ?C)
                    (instrument ?P ?C)))) Possibility))
ComputingBrands.kif 4347-4358


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