| 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 3955-3958 | |
| (subclass LoggingIn UserDirectAction) | ComputingBrands.kif 3954-3954 |
| appearance as argument number 2 |
|
|
| (subclass TwoFactorLoggingIn LoggingIn) | ComputingBrands.kif 4288-4288 | |
| (subclass UserPasswordLogin LoggingIn) | ComputingBrands.kif 3999-3999 | |
| (termFormat EnglishLanguage LoggingIn "logging in") | ComputingBrands.kif 4001-4001 | |
| (termFormat EnglishLanguage LoggingIn "login") | ComputingBrands.kif 4000-4000 |
| antecedent |
|
|
| (=> (and (instance ?LI LoggingIn) (agent ?LI ?U)) (exists (?A) (hasAccount ?U ?A))) |
ComputingBrands.kif 3960-3965 | |
| (=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (accountAtSite ?A ?S) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (patient ?P ?S)))) Possibility)) |
ComputingBrands.kif 3967-3981 | |
| (=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (deviceAccount ?A ?C) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 3983-3997 |
| 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 4004-4015 | |
| (=> (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 4332-4340 |
|
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