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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EmailAddress
EmailAddress(email address)

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 Email address is a subclass of Internet address

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


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

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


(domain EmailDomainPartFn 1 EmailAddress) ComputingBrands.kif 2057-2057 The number 1 argument of email domain part fn is an instance of email address
(domain EmailLocalPartFn 1 EmailAddress) ComputingBrands.kif 2052-2052 The number 1 argument of email local part fn is an instance of email address

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