| appearance as argument number 1 |
|
| (documentation EmailAddress EnglishLanguage "An email address identifies an email box to which email messages are delivered. The term 'email address' refers to the addr-spec defined in RFC 5322. An email address such as John.Smith@example.com is made up of a local-part, an @ symbol, then a case-insensitive domain. [from Wikipedia]") | ComputingBrands.kif 2041-2045 | |
| (subclass EmailAddress InternetAddress) | Media.kif 2930-2930 | Email address is a subclass of Internet address |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EmailAddress "email address") | domainEnglishFormat.kif 64861-64861 |
| appearance as argument number 3 |
|
|
| (domain EmailDomainPartFn 1 EmailAddress) | ComputingBrands.kif 2057-2057 | The number 1 argument of email domain part fn is an instance of email address |
| (domain EmailLocalPartFn 1 EmailAddress) | ComputingBrands.kif 2052-2052 | The number 1 argument of email local part fn is an instance of email address |
| consequent |
|
|
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (refers ?AID ?E)))) |
ComputingBrands.kif 2025-2030 |
|
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (userName ?AID ?E)))) |
ComputingBrands.kif 2032-2037 |
|
|
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