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 2041-2045
(subclass EmailAddress InternetAddress) Media.kif 2930-2930

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


(termFormat EnglishLanguage EmailAddress "email address") domainEnglishFormat.kif 64815-64815

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


(domain EmailDomainPartFn 1 EmailAddress) ComputingBrands.kif 2057-2057
(domain EmailLocalPartFn 1 EmailAddress) ComputingBrands.kif 2052-2052

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


(=>
    (instance ?AID AppleID)
    (exists (?E)
        (and
            (instance ?E EmailAddress)
            (refers ?AID ?E))))
ComputingBrands.kif 2025-2030
(=>
    (instance ?AID AppleID)
    (exists (?E)
        (and
            (instance ?E EmailAddress)
            (userName ?AID ?E))))
ComputingBrands.kif 2032-2037


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