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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Correspondence
Correspondence

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


(documentation Correspondence EnglishLanguage "Instances of Correspondence are Documents that typically are sent from a specific sending Agent to at least one receiving Agent, 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

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


(subclass EmailMessage Correspondence) Media.kif 1028-1028
(subclass FaxMessage Correspondence) Media.kif 1010-1010
(subclass Letter Correspondence) Media.kif 953-953

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 1220-1228


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners