|
|
   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 2009-2013 | |
| (subclass EmailAddress InternetAddress) | Media.kif 2918-2918 | subclass EmailAddress and InternetAddress |
| appearance as argument number 3 |
|
|
| (domain EmailDomainPartFn 1 EmailAddress) | ComputingBrands.kif 2025-2025 | domain EmailDomainPartFn, 1 and EmailAddress |
| (domain EmailLocalPartFn 1 EmailAddress) | ComputingBrands.kif 2020-2020 | domain EmailLocalPartFn, 1 and EmailAddress |
| consequent |
|
|
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (refers ?AID ?E)))) |
ComputingBrands.kif 1993-1998 | |
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (userName ?AID ?E)))) |
ComputingBrands.kif 2000-2005 |
|
|
|