| 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 2190-2192 | |
| (subclass ComputerPassword SymbolicString) | QoSontology.kif 2189-2189 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerPassword "电脑密码") | domainEnglishFormat.kif 16349-16349 | |
| (termFormat ChineseTraditionalLanguage ComputerPassword "電腦密碼") | domainEnglishFormat.kif 16348-16348 | |
| (termFormat EnglishLanguage ComputerPassword "computer password") | domainEnglishFormat.kif 16347-16347 |
| appearance as argument number 3 |
|
|
| (domain password 1 ComputerPassword) | QoSontology.kif 2203-2203 |
| 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 | |
| (=> (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 4299-4310 |
|
|
|