password |
appearance as argument number 1 |
(documentation password EnglishLanguage "(password ?Password ?Account) means that ?Password is the password associated with the UserAccount that the ComputerUser uses while logging onto a computer system.") | QoSontology.kif 2100-2103 | |
(domain password 1 ComputerPassword) | QoSontology.kif 2097-2097 | |
(domain password 2 UserAccount) | QoSontology.kif 2098-2098 | |
(instance password AsymmetricRelation) | QoSontology.kif 2096-2096 | |
(subrelation password names) | QoSontology.kif 2095-2095 |
appearance as argument number 2 |
(format ChineseLanguage password "%2 有 password %1 ") | domainEnglishFormat.kif 4082-4082 | |
(format ChineseTraditionalLanguage password "%2 有 password %1 ") | domainEnglishFormat.kif 4081-4081 | |
(format EnglishLanguage password "%2 has password %1") | domainEnglishFormat.kif 4080-4080 | |
(termFormat ChineseLanguage password "密码") | domainEnglishFormat.kif 44732-44732 | |
(termFormat ChineseTraditionalLanguage password "密碼") | domainEnglishFormat.kif 44731-44731 | |
(termFormat EnglishLanguage password "password") | domainEnglishFormat.kif 44730-44730 |
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 ?AID AppleID) (password ?AID ?N) (equal ?L (StringLengthFn ?N))) (greaterThan ?L 7)) |
ComputingBrands.kif 2018-2023 | |
(=> (and (instance ?CP ChangingPassword) (agent ?CP ?A) (hasAccount ?A ?UA) (password ?P1 ?UA)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?P2) (and (instance ?P2 ComputerPassword) (not (equal ?P2 ?P1)) (password ?P2 ?UA))))) |
ComputingBrands.kif 4079-4092 |
consequent |
(=> (and (instance ?CP ChangingPassword) (agent ?CP ?A) (hasAccount ?A ?UA) (password ?P1 ?UA)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?P2) (and (instance ?P2 ComputerPassword) (not (equal ?P2 ?P1)) (password ?P2 ?UA))))) |
ComputingBrands.kif 4079-4092 | |
(=> (and (instance ?CP CreatingAnAccount) (agent ?CP ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?UA ?P1 ?N) (and (hasAccount ?A ?UA) (password ?P1 ?UA) (userName ?UA ?N))))) |
ComputingBrands.kif 4143-4153 | |
(=> (hasAccount ?User ?Account) (exists (?Password) (password ?Password ?Account))) |
QoSontology.kif 2088-2091 |