Correspondence - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Correspondence Document)	Mid-level-ontology.kif 817-817	Correspondence is a subclass of document
(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.")	Mid-level-ontology.kif 818-822	Correspondence is a subclass of document

appearance as argument number 2

(subclass FaxMessage Correspondence)	Media.kif 990-990	Fax message is a subclass of correspondence
(subclass EmailMessage Correspondence)	Media.kif 1008-1008	Email message is a subclass of correspondence
(termFormat EnglishLanguage Correspondence "correspondence")	domainEnglishFormat.kif 64707-64707	Email message 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))))

If X is an instance of corresponding, then there exist Y, Z such that Y is an instance of mailing, Y is a subprocess of X, Z is an instance of correspondence, Z is a patient of Y, and Z is a patient of X