Correspondence - Sigma Knowledge base Browser

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 64752-64752	Letter is a subclass of correspondence

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 827-835