TreeView Knowledge Base Browser

appearance as argument number 1

(documentation recoveryKey EnglishLanguage "A code that will allow a user to recover his or her password if the password is forgotten. It is essentially a password for the password.")	ComputingBrands.kif 4422-4424
(domain recoveryKey 1 SymbolicString)	ComputingBrands.kif 4420-4420	recoveryKey 的 1 数量是符号串的 instance
(domain recoveryKey 2 UserAccount)	ComputingBrands.kif 4421-4421	recoveryKey 的 2 数量是用户帐号的 instance
(instance recoveryKey BinaryRelation)	ComputingBrands.kif 4419-4419	recoveryKey 是二元关系的 instance

appearance as argument number 2

(format EnglishLanguage recoveryKey "the account %2 has recovery key %1")	ComputingBrands.kif 4425-4425
(termFormat EnglishLanguage recoveryKey "recovery key")	domainEnglishFormat.kif 65922-65922

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

如果有认知的主事有 account 用户帐号和那个用户帐号有 password 电脑密码和 deviceAccount 那个用户帐号 and 电脑和那个有认知的主事 doesn't knows 那个用户帐号有 password 那个电脑密码和那个有认知的主事 knows recoveryKey 实体 and 那个用户帐号和那个有认知的主事 possesses 那个电脑，
然后有存在另一个实体这样那个另外实体是 ChangingPassword 的 instance 和那个用户帐号是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent 的声明 has 可能性的语气

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

KB Term:			Term intersection

English Word: