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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 Correspondence is a subclass of Document

appearance as argument number 2

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


    (instance ?C Corresponding)
    (exists (?M ?T)
            (instance ?M Mailing)
            (subProcess ?M ?C)
            (instance ?T Correspondence)
            (patient ?M ?T)
            (patient ?C ?T))))
Mid-level-ontology.kif 1222-1230

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 3.0 is open source software produced by Articulate Software and its partners