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 2041-2045
(subclass EmailAddress InternetAddress) Media.kif 2930-2930 EmailAddressInternetAddresssubclass では %n

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


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

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


(domain EmailDomainPartFn 1 EmailAddress) ComputingBrands.kif 2057-2057 EmailDomainPartFn の数値 1 引数は EmailAddressinstance では %n
(domain EmailLocalPartFn 1 EmailAddress) ComputingBrands.kif 2052-2052 EmailLocalPartFn の数値 1 引数は EmailAddressinstance では %n

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