UserName
|
|
appearance as argument number 1 |
(documentation UserName EnglishLanguage "The name a person uses to identify himself or herself when logging onto a computer system or online service.") | QoSontology.kif 2048-2049 | |
(subclass UserName SymbolicString) | QoSontology.kif 2047-2047 |
appearance as argument number 2 |
(termFormat ChineseLanguage UserName "用户名") | domainEnglishFormat.kif 60850-60850 | |
(termFormat ChineseTraditionalLanguage UserName "用戶名") | domainEnglishFormat.kif 60849-60849 | |
(termFormat EnglishLanguage UserName "user name") | domainEnglishFormat.kif 60848-60848 |
appearance as argument number 3 |
(domain userName 2 UserName) | QoSontology.kif 2061-2061 |
consequent |
(=> (and (instance ?CP ChangingUserName) (agent ?CP ?A) (hasAccount ?A ?UA) (userName ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (instance ?N2 UserName) (not (equal ?N2 ?N1)) (userName ?UA ?N2))))) |
ComputingBrands.kif 4101-4114 | |
(=> (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 |