Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Corresponding

Sigma KEE - Corresponding
Corresponding

appearance as argument number 1
-------------------------


(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 1219-1221
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 1218-1218

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Corresponding "相应") domainEnglishFormat.kif 17392-17392
(termFormat ChineseTraditionalLanguage Corresponding "相應") domainEnglishFormat.kif 17391-17391
(termFormat EnglishLanguage Corresponding "corresponding") domainEnglishFormat.kif 17390-17390

antecedent
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners