Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| userName |
| appearance as argument number 1 |
|
| (subrelation userName names) | QoSontology.kif 2182-2182 | user name is a subrelation of names |
| (instance userName AsymmetricRelation) | QoSontology.kif 2183-2183 | user name is an instance of asymmetric relation |
| (domain userName 1 UserAccount) | QoSontology.kif 2184-2184 | The number 1 argument of user name is an instance of user account |
| (domain userName 2 UserName) | QoSontology.kif 2185-2185 | The number 2 argument of user name is an instance of user name |
| (documentation userName EnglishLanguage "(userName ?Name ?User) means that ?Name is the name the ComputerUser uses to identify himself or herself when logging onto a UserAccount on a computer system.") | QoSontology.kif 2186-2188 | The number 2 argument of user name is an instance of user name |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage userName "the user name of %1 is %2") | domainEnglishFormat.kif 4902-4902 | |
| (format ChineseTraditionalLanguage userName "%1 的 user name 是 %2 ") | domainEnglishFormat.kif 4903-4903 | |
| (format ChineseLanguage userName "%1 的 user name 是 %2 ") | domainEnglishFormat.kif 4904-4904 | |
| (termFormat EnglishLanguage userName "user name") | domainEnglishFormat.kif 66006-66006 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (userName ?AID ?E)))) |
ComputingBrands.kif 2032-2037 | If X is an instance of Apple ID, then there exists Y such that Y is an instance of email address and the user name of X is Y |
| (=> (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 |
| (=> (and (instance ?CP CreatingAnAccount) (agent ?CP ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?UA ?P1 ?N) (and (hasAccount ?A ?UA) (password ?P1 ?UA) (userName ?UA ?N))))) |
ComputingBrands.kif 4049-4059 | If X is an instance of creating an account and Y is an agent of X, then there exist Z, W, V such that Y has account Z, Z has password W, and the user name of Z is V holds during immediately after the time of existence of X |
| (=> (hasAccount ?User ?Account) (exists (?Name) (userName ?Account ?Name))) |
QoSontology.kif 2175-2178 | If X has account Y, then there exists Z such that the user name of Y is Z |
|