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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Weaving

Sigma KEE - AppleID
AppleID

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


(documentation AppleID EnglishLanguage "An Apple ID is a UserAccount that has a valid email address, protected by a password set by the user that is a case-sensitive alphanumeric string of at least eight characters. In March 2013, Apple ID launched an optional two-step verification security feature for authentication. When enabled, a second verification step is required when using the Apple ID under certain conditions, such as a web login, or making a Store purchase from a new device. The feature uses the Find My iPhone service to send a four-digit pin code to a trusted device associated with the Apple ID when the second verification step is required for authentication. Users can have different Apple IDs. Users can change their passwords or personal information. Apple also allows users to change the name of an Apple ID but users must contact Apple customer service to make such a change.[from Wikipedia].") ComputingBrands.kif 2003-2016
(subclass AppleID UserAccount) ComputingBrands.kif 2001-2001

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


(termFormat ChineseLanguage AppleID "苹果ID") ComputingBrands.kif 2078-2078
(termFormat ChineseTraditionalLanguage AppleID "蘋果ID") ComputingBrands.kif 2077-2077
(termFormat EnglishLanguage AppleID "Apple ID") ComputingBrands.kif 2076-2076
(termFormat JapaneseLanguage AppleID "Apple ID") ComputingBrands.kif 2079-2079

antecedent
-------------------------


(=>
    (and
        (instance ?AID AppleID)
        (password ?AID ?N)
        (equal ?L
            (StringLengthFn ?N)))
    (greaterThan ?L 7))
ComputingBrands.kif 2018-2023
(=>
    (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