|
|
   Correspondence
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Correspondence EnglishLanguage "Instances of Correspondence are Documents that typically are sent from a specific sending AutonomousAgent to at least one receiving AutonomousAgent, and typically adhere to formatting conventions motivated, in part, by the practical concern of ensuring reliable message transmission and understanding in a given medium: email messages, FAX messages, personal letters, business letters, etc.") | Media.kif 945-951 | |
| (subclass Correspondence Document) | Media.kif 952-952 | Correspondence is a subclass of document |
| appearance as argument number 2 |
|
|
| (subclass EmailMessage Correspondence) | Media.kif 1028-1028 | Email message is a subclass of correspondence |
| (subclass FaxMessage Correspondence) | Media.kif 1010-1010 | Fax message is a subclass of correspondence |
| (subclass Letter Correspondence) | Media.kif 953-953 | Letter is a subclass of correspondence |
| (termFormat EnglishLanguage Correspondence "correspondence") | domainEnglishFormat.kif 64704-64704 |
| consequent |
|
|
| (=> (instance ?C Corresponding) (exists (?M ?T) (and (instance ?M Mailing) (subProcess ?M ?C) (instance ?T Correspondence) (patient ?M ?T) (patient ?C ?T)))) |
Mid-level-ontology.kif 834-842 |
|
|
|
|