|
|
   EmailMessage
|
|
|
| appearance as argument number 1 |
|
|
| (documentation EmailMessage EnglishLanguage "Instances of EmailMessage are Documents that are intended to be transmitted via electronic mail technology, and that conform to the required textual format of such messages.") | Media.kif 1024-1027 | |
| (subclass EmailMessage Correspondence) | Media.kif 1028-1028 | EmailMessage è una sottoclasse di Correspondence |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EmailMessage "email message") | domainEnglishFormat.kif 64818-64818 |
| consequent |
|
|
| (=> (instance ?ACT Emailing) (exists (?MSG) (and (patient ?ACT ?MSG) (instance ?MSG EmailMessage)))) |
Media.kif 207-212 |
|
|
|