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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 EmailAddress is a subclass of InternetAddress

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


(domain EmailDomainPartFn 1 EmailAddress) ComputingBrands.kif 2025-2025 The number 1 argument of EmailDomainPartFn is an instance of EmailAddress
(domain EmailLocalPartFn 1 EmailAddress) ComputingBrands.kif 2020-2020 The number 1 argument of EmailLocalPartFn is an instance of 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 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