Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| trustedDevice |
| appearance as argument number 1 |
|
| (instance trustedDevice BinaryPredicate) | ComputingBrands.kif 4190-4190 | trusted device is an instance of binary predicate |
| (domain trustedDevice 1 UserAccount) | ComputingBrands.kif 4191-4191 | The number 1 argument of trusted device is an instance of user account |
| (domain trustedDevice 2 Computer) | ComputingBrands.kif 4192-4192 | The number 2 argument of trusted device is an instance of computer |
| (documentation trustedDevice EnglishLanguage "A particular Computer is listed on a UserAccount as being trusted. This is a common security protocol that typically makes logging in to the device easier, while adding some extra procedure, such as two_factor authentication, for a device not registered with the account.") | ComputingBrands.kif 4193-4195 | The number 2 argument of trusted device is an instance of computer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage trustedDevice "trusted device") | ComputingBrands.kif 4196-4196 | |
| (format EnglishLanguage trustedDevice "%2 is a trusted device for %1") | ComputingBrands.kif 4197-4197 |
|