| ComputerPassword | |
| appearance as argument number 1 |
|
|
| (documentation ComputerPassword EnglishLanguage "A word or code used to serve as a security measure against unauthorized access to data. It is normally managed by the operating system or DBMS.") | QoSontology.kif 2216-2218 | |
| (subclass ComputerPassword SymbolicString) | QoSontology.kif 2215-2215 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerPassword "电脑密码") | domainEnglishFormat.kif 16353-16353 | |
| (termFormat ChineseTraditionalLanguage ComputerPassword "電腦密碼") | domainEnglishFormat.kif 16352-16352 | |
| (termFormat EnglishLanguage ComputerPassword "computer password") | domainEnglishFormat.kif 16351-16351 |
| appearance as argument number 3 |
|
|
| (domain password 1 ComputerPassword) | QoSontology.kif 2229-2229 |
| 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 4074-4087 | |
| (=> (instance ?TF TwoFactorLoggingIn) (exists (?DE ?DD) (and (subProcess ?DE ?TF) (instance ?DE DataEntry) (instance ?DD DigitalData) (objectTransferred ?DE ?DD) (not (instance ?DD ComputerPassword)) (not (instance ?DD UserName))))) |
ComputingBrands.kif 4294-4305 |
|
|
|