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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SendingEmail
SendingEmail(sending email)

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
(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 65472-65472


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