deviceAccount - Sigma Knowledge base Browser

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 65857-65857

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	If a cognitive agent has account an user account and the user account has password a computer password and device account the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
(=> (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	If a process is an instance of logging in and an agent has account an user account and device account the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility

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

If an agent is logged-in to an user account during a time interval,
then the statement there exist an entity and another entity such that the entity is an instance of computer process and the agent is an agent of the entity and device account the user account and the other entity and the other entity is an instance of computer and the entity is running on the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of possibility

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

KB Term:			Term intersection

English Word: