| 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 | Internet domain is a subclass of Internet address |
| appearance as argument number 2 |
|
|
| (range EmailDomainPartFn InternetDomain) | ComputingBrands.kif 2058-2058 | The range of email domain part fn is an instance of Internet domain |
| (termFormat EnglishLanguage InternetDomain "Internet domain") | domainEnglishFormat.kif 65089-65089 | The range of email domain part fn is an instance of Internet domain |
| appearance as argument number 3 |
|
|
| (domain ipOfDomain 2 InternetDomain) | ComputingBrands.kif 2074-2074 | The number 2 argument of IP of domain is an instance of Internet domain |
|
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