| appearance as argument number 1 |
|
| (disjoint SendingEmail ReceivingEmail) | ComputerInput.kif 2936-2936 | SendingEmail と ReceivingEmail は disjoint では %n |
| (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 | |
| (subclass SendingEmail Emailing) | ComputerInput.kif 2932-2932 | SendingEmail は 電子メール の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass ForwardingEmail SendingEmail) | ComputerInput.kif 2939-2939 | ForwardingEmail は SendingEmail の subclass では %n |
| (termFormat EnglishLanguage SendingEmail "sending email") | domainEnglishFormat.kif 65474-65474 |
|
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