| appearance as argument number 1 |
|
| (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 4287-4289 | |
| (domain trustedDevice 1 UserAccount) | ComputingBrands.kif 4285-4285 | The number 1 argument of trusted device is an instance of user account |
| (domain trustedDevice 2 Computer) | ComputingBrands.kif 4286-4286 | The number 2 argument of trusted device is an instance of computer |
| (instance trustedDevice BinaryPredicate) | ComputingBrands.kif 4284-4284 | trusted device is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage trustedDevice "%2 is a trusted device for %1") | ComputingBrands.kif 4291-4291 | |
| (termFormat EnglishLanguage trustedDevice "trusted device") | ComputingBrands.kif 4290-4290 |
|
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