EmailAddress
|
|
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 |
appearance as argument number 2 |
(termFormat EnglishLanguage EmailAddress "email address") | domainEnglishFormat.kif 64815-64815 |
appearance as argument number 3 |
(domain EmailDomainPartFn 1 EmailAddress) | ComputingBrands.kif 2057-2057 | |
(domain EmailLocalPartFn 1 EmailAddress) | ComputingBrands.kif 2052-2052 |
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 |