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 | Il numero 1 argomenti di password è un istanza di ComputerPassword |
(domain password 2 UserAccount) | QoSontology.kif 2098-2098 | Il numero 2 argomenti di password è un istanza di UserAccount |
(instance password AsymmetricRelation) | QoSontology.kif 2096-2096 | password è un' istanza di RelazioneAsimmetrica |
(subrelation password names) | QoSontology.kif 2095-2095 | password è una sottorelazione di names |
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 |
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 |