Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CorpuscularObject
|
|
|
| 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 2877-2877 | Email address is a subclass of Internet address |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EmailAddress "email address") | domainEnglishFormat.kif 64816-64816 |
| appearance as argument number 3 |
|
|
| (domain EmailLocalPartFn 1 EmailAddress) | ComputingBrands.kif 2052-2052 | The number 1 argument of email local part fn is an instance of email address |
| (domain EmailDomainPartFn 1 EmailAddress) | ComputingBrands.kif 2057-2057 | The number 1 argument of email domain 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 | If X is an instance of Apple ID, then there exists Y such that Y is an instance of email address and X includes a reference to Y |
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (userName ?AID ?E)))) |
ComputingBrands.kif 2032-2037 | If X is an instance of Apple ID, then there exists Y such that Y is an instance of email address and the user name of X is Y |
|