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 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.") 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
(termFormat EnglishLanguage Correspondence "correspondence") domainEnglishFormat.kif 64704-64704

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 834-842


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