| appearance as argument number 1 |
|
| (disjoint SendingEmail ReceivingEmail) | ComputerInput.kif 2936-2936 | Sending email is disjoint from receiving email |
| (documentation SendingEmail EnglishLanguage "SendingEmail is the process of sending emails. The sender normally sends text to one or more email addresses, but may also send URLs and computer files of any kind with or without accompanying text.") | ComputerInput.kif 2933-2935 | Sending email is disjoint from receiving email |
| (subclass SendingEmail Emailing) | ComputerInput.kif 2932-2932 | Sending email is a subclass of emailing |
| appearance as argument number 2 |
|
|
| (subclass ForwardingEmail SendingEmail) | ComputerInput.kif 2939-2939 | Forwarding email is a subclass of sending email |
| (termFormat EnglishLanguage SendingEmail "sending email") | domainEnglishFormat.kif 65520-65520 | Forwarding email is a subclass of sending email |
|
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