| appearance as argument number 1 |
|
| (documentation EmailMessage EnglishLanguage "Instances of EmailMessage are Documents that are intended to be transmitted via electronic mail technology, and that conform to the required textual format of such messages.") | Media.kif 1024-1027 | |
| (subclass EmailMessage Correspondence) | Media.kif 1028-1028 | Email message is a subclass of correspondence |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EmailMessage "email message") | domainEnglishFormat.kif 64864-64864 |
| consequent |
|
|
| (=> (instance ?ACT Emailing) (exists (?MSG) (and (patient ?ACT ?MSG) (instance ?MSG EmailMessage)))) |
Media.kif 207-212 |
|
|
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