UserName(user name) |
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 2054-2055 | |
(subclass UserName SymbolicString) | QoSontology.kif 2053-2053 | User name is a subclass of symbolic string |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage UserName "用户名") | domainEnglishFormat.kif 60766-60766 | |
(termFormat ChineseTraditionalLanguage UserName "用戶名") | domainEnglishFormat.kif 60765-60765 | |
(termFormat EnglishLanguage UserName "user name") | domainEnglishFormat.kif 60764-60764 |
appearance as argument number 3 |
![]() |
(domain userName 2 UserName) | QoSontology.kif 2067-2067 | The number 2 argument of userName is an instance of user name |
consequent |
![]() |
![]() |
![]() |