| 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 2154-2155 | |
| (subclass UserName SymbolicString) | QoSontology.kif 2153-2153 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UserName "用户名") | domainEnglishFormat.kif 60873-60873 | |
| (termFormat ChineseTraditionalLanguage UserName "用戶名") | domainEnglishFormat.kif 60872-60872 | |
| (termFormat EnglishLanguage UserName "user name") | domainEnglishFormat.kif 60871-60871 |
| appearance as argument number 3 |
|
|
| (domain userName 2 UserName) | QoSontology.kif 2167-2167 |
| 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 |
|
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