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 3915-3920
(domain deviceAccount 1 UserAccount) ComputingBrands.kif 3913-3913 deviceAccount 的 1 数量 是 用户帐号instance
(domain deviceAccount 2 Computer) ComputingBrands.kif 3914-3914 deviceAccount 的 2 数量 是 电脑instance
(instance deviceAccount BinaryPredicate) ComputingBrands.kif 3912-3912 deviceAccount二元谓语instance

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