|
|
   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 2084-2086 | |
| (subclass ComputerPassword SymbolicString) | QoSontology.kif 2083-2083 | 电脑密码 是 符号串 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerPassword "电脑密码") | domainEnglishFormat.kif 16338-16338 | |
| (termFormat ChineseTraditionalLanguage ComputerPassword "電腦密碼") | domainEnglishFormat.kif 16337-16337 | |
| (termFormat EnglishLanguage ComputerPassword "computer password") | domainEnglishFormat.kif 16336-16336 |
| appearance as argument number 3 |
|
|
| (domain password 1 ComputerPassword) | QoSontology.kif 2097-2097 | 密码 的 1 数量 是 电脑密码 的 instance |
| 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 |
|
|
|