| 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 2179-2180 | |
| (subclass UserName SymbolicString) | QoSontology.kif 2178-2178 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UserName "用户名") | domainEnglishFormat.kif 60842-60842 | |
| (termFormat ChineseTraditionalLanguage UserName "用戶名") | domainEnglishFormat.kif 60841-60841 | |
| (termFormat EnglishLanguage UserName "user name") | domainEnglishFormat.kif 60840-60840 |
| appearance as argument number 3 |
|
|
| (domain userName 2 UserName) | QoSontology.kif 2192-2192 |
| 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 4096-4109 | |
| (=> (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 4294-4305 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners