Corresponding - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Corresponding LinguisticCommunication)	Mid-level-ontology.kif 825-825	Corresponding is a subclass of linguistic communication
(documentation Corresponding EnglishLanguage "Instances of LinguisticCommunication which are achieved by means of Texts that are mailed between the persons communicating with one another.")	Mid-level-ontology.kif 826-828	Corresponding is a subclass of linguistic communication

appearance as argument number 2

(termFormat EnglishLanguage Corresponding "corresponding")	domainEnglishFormat.kif 17394-17394
(termFormat ChineseTraditionalLanguage Corresponding "相應")	domainEnglishFormat.kif 17395-17395
(termFormat ChineseLanguage Corresponding "相应")	domainEnglishFormat.kif 17396-17396

antecedent

(=>
    (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