TreeView 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 3950-3955
(domain deviceAccount 1 UserAccount)	ComputingBrands.kif 3948-3948	deviceAccount の数値 1 引数は UserAccount の instance では %n
(domain deviceAccount 2 Computer)	ComputingBrands.kif 3949-3949	deviceAccount の数値 2 引数は Computer の instance では %n
(instance deviceAccount BinaryPredicate)	ComputingBrands.kif 3947-3947	deviceAccount は 2進述語の instance では %n

appearance as argument number 2

(termFormat EnglishLanguage deviceAccount "device account")

domainEnglishFormat.kif 65816-65816

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 4425-4442	hasAccount 認識エージェント and UserAccount password ComputerPassword and UserAccount deviceAccount UserAccount and Computer 認識エージェントは password ComputerPassword and UserAccount を know ない認識エージェントは recoveryKey エンティティー and UserAccount を knows %n{ない} 認識エージェントは Computer を possesses %n{ない} ステートメントエンティティーエンティティーは ChangingPassword の instance では %n UserAccount はエンティティーの patient では %n 認識エージェントはエンティティーの agent では %n には Possibility の modal force がある
(=> (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 3986-4000	工程は LoggingIn の instance では %n hasAccount AutonomousAgent and UserAccount deviceAccount UserAccount and Computer 時間間隔は工程の time の existence のすぐ after と equal では %n AutonomousAgent は工程の agent では %n ステートメントエンティティーエンティティーは ComputerProcess の instance では %n AutonomousAgent はエンティティーの agent では %n Computer はエンティティーの instrument では %n は時間間隔の during holds %n{ない} には Possibility の modal force がある

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 4345-4356

loggedInDuring AutonomousAgent, UserAccount and 時間間隔
ステートメントエンティティーエンティティーエンティティーは ComputerProcess の instance では %n AutonomousAgent はエンティティーの agent では %n deviceAccount UserAccount and エンティティーエンティティーは Computer の instance では %n computerRunning エンティティー and エンティティーエンティティーはエンティティーの instrument では %n は時間間隔の during holds %n{ない} には Possibility の modal force がある

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: