Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UserName(user name) |
| appearance as argument number 1 |
|
| (subclass UserName SymbolicString) | QoSontology.kif 2171-2171 | User name is a subclass of symbolic string |
| (documentation UserName EnglishLanguage "The name a person uses to identify himself or herself when logging onto a computer system or online service.") | QoSontology.kif 2172-2173 | User name is a subclass of symbolic string |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain userName 2 UserName) | QoSontology.kif 2185-2185 | The number 2 argument of user name is an instance of user name |
| 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 4007-4020 | If X is an instance of change user name, Y is an agent of X, Y has account Z, and the user name of Z is W, then there exists V such that V is an instance of user name, equal V, W, and the user name of Z is V holds during immediately after the time of existence of X |
| (=> (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 4205-4216 | If X is an instance of two_factor login, then All of the following hold: (1) there exist Y (2) Z such that Y is a subprocess of X (3) Y is an instance of data entry (4) Z is an instance of digital data (5) the object transferred in Y is Z (6) Z is not an instance of computer password (7) Z is not an instance of user name |
|