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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReceivingEmail

Sigma KEE - ReceivingEmail
ReceivingEmail

appearance as argument number 1
-------------------------


(documentation ReceivingEmail EnglishLanguage "ReceivingEmail is the process of receiving emails that have been sent to an email address.") ComputerInput.kif 2928-2929
(subclass ReceivingEmail Emailing) ComputerInput.kif 2927-2927 ReceivingEmail e' uma sub-classe de Emailing

appearance as argument number 2
-------------------------


(disjoint SendingEmail ReceivingEmail) ComputerInput.kif 2936-2936 SendingEmail e' disjunto de ReceivingEmail
(termFormat EnglishLanguage ReceivingEmail "receiving email") domainEnglishFormat.kif 65393-65393


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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