Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AppleID(Apple ID) |
| appearance as argument number 1 |
|
| (subclass AppleID UserAccount) | ComputingBrands.kif 2001-2001 | Apple ID is a subclass of user account |
| (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 | Apple ID is a subclass of user account |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?AID AppleID) (password ?AID ?N) (equal ?L (StringLengthFn ?N))) (greaterThan ?L 7)) |
ComputingBrands.kif 2018-2023 | If X is an instance of Apple ID, Y has password X, and equal Z and the length of Y, then Z is greater than 7 |
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (refers ?AID ?E)))) |
ComputingBrands.kif 2025-2030 | If X is an instance of Apple ID, then there exists Y such that Y is an instance of email address and X includes a reference to Y |
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (userName ?AID ?E)))) |
ComputingBrands.kif 2032-2037 | If X is an instance of Apple ID, then there exists Y such that Y is an instance of email address and the user name of X is Y |
|