|
|
   InternetDomain
|
|
|
| appearance as argument number 1 |
|
|
| (documentation InternetDomain EnglishLanguage "The domain name part of an email address has to conform to strict guidelines: it must match the requirements for a hostname, a list of dot-separated DNS labels, each label being limited to a length of 63 characters and consisting of uppercase and lowercase Latin letters A to Z and a to z; digits 0 to 9, provided that top-level domain names are not all-numeric; hyphen -, provided that it is not the first or last character. [from Wikipedia]") | ComputingBrands.kif 2060-2067 | |
| (subclass InternetDomain InternetAddress) | ComputingBrands.kif 2047-2047 |
| appearance as argument number 2 |
|
|
| (range EmailDomainPartFn InternetDomain) | ComputingBrands.kif 2058-2058 | |
| (termFormat EnglishLanguage InternetDomain "Internet domain") | domainEnglishFormat.kif 65041-65041 |
| appearance as argument number 3 |
|
|
| (domain ipOfDomain 2 InternetDomain) | ComputingBrands.kif 2074-2074 |
|
|
|