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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EmailAddress

Sigma KEE - EmailAddress
EmailAddress

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


(documentation EmailAddress EnglishLanguage "An email address identifies an email box to which email messages are delivered. The term 'email address' refers to the addr-spec defined in RFC 5322. An email address such as John.Smith@example.com is made up of a local-part, an @ symbol, then a case-insensitive domain. [from Wikipedia]") ComputingBrands.kif 2009-2013
(subclass EmailAddress InternetAddress) Media.kif 2918-2918 subclass EmailAddress and InternetAddress

appearance as argument number 3
-------------------------


(domain EmailDomainPartFn 1 EmailAddress) ComputingBrands.kif 2025-2025 domain EmailDomainPartFn, 1 and EmailAddress
(domain EmailLocalPartFn 1 EmailAddress) ComputingBrands.kif 2020-2020 domain EmailLocalPartFn, 1 and EmailAddress

consequent
-------------------------


(=>
    (instance ?AID AppleID)
    (exists (?E)
        (and
            (instance ?E EmailAddress)
            (refers ?AID ?E))))
ComputingBrands.kif 1993-1998
(=>
    (instance ?AID AppleID)
    (exists (?E)
        (and
            (instance ?E EmailAddress)
            (userName ?AID ?E))))
ComputingBrands.kif 2000-2005


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