| 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 2090-2092 | |
| (subclass ComputerPassword SymbolicString) | QoSontology.kif 2089-2089 | subclass ComputerPassword and SymbolicString |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerPassword "电脑密码") | domainEnglishFormat.kif 16261-16261 | |
| (termFormat ChineseTraditionalLanguage ComputerPassword "電腦密碼") | domainEnglishFormat.kif 16260-16260 | |
| (termFormat EnglishLanguage ComputerPassword "computer password") | domainEnglishFormat.kif 16259-16259 |
| appearance as argument number 3 |
|
|
| (domain password 1 ComputerPassword) | QoSontology.kif 2103-2103 | domain password, 1 and ComputerPassword |
| 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 4004-4017 | |
| (=> (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 4224-4235 |
|
|
|