LoggingIn |
appearance as argument number 1 |
(documentation LoggingIn EnglishLanguage "Supplying credentials in some form to a Computer to access a UserAccount. Note that this only covers successful attempts. This covers actions such as supplying a user name and password, two-factor authentication with a PIN and/ or phone text message, a fingerprint reader, voice print, an iris or palm scan etc.") | ComputingBrands.kif 3960-3963 | |
(subclass LoggingIn UserDirectAction) | ComputingBrands.kif 3959-3959 | LoggingIn は UserDirectAction の subclass では %n |
appearance as argument number 2 |
(subclass TwoFactorLoggingIn LoggingIn) | ComputingBrands.kif 4293-4293 | TwoFactorLoggingIn は LoggingIn の subclass では %n |
(subclass UserPasswordLogin LoggingIn) | ComputingBrands.kif 4004-4004 | UserPasswordLogin は LoggingIn の subclass では %n |
(termFormat EnglishLanguage LoggingIn "logging in") | ComputingBrands.kif 4006-4006 | |
(termFormat EnglishLanguage LoggingIn "login") | ComputingBrands.kif 4005-4005 |
antecedent |
consequent |
(=> (and (instance ?LF LoginFailure) (agent ?LF ?A) (hasAccount ?A ?AC)) (holdsDuring (WhenFn ?LF) (not (exists (?L) (and (agent ?L ?A) (instance ?L LoggingIn) (patient ?L ?AC)))))) |
ComputingBrands.kif 4009-4020 |
|
(=> (loggedInDuring ?A ?UA ?T) (exists (?L) (and (instance ?L LoggingIn) (agent ?L ?A) (patient ?L ?UA) (hasAccount ?A ?UA) (earlier ?T (WhenFn ?L))))) |
ComputingBrands.kif 4337-4345 |
|