| 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 3923-3926 | |
| (subclass LoggingIn UserDirectAction) | ComputingBrands.kif 3922-3922 |
| appearance as argument number 2 |
|
|
| (subclass TwoFactorLoggingIn LoggingIn) | ComputingBrands.kif 4256-4256 | |
| (subclass UserPasswordLogin LoggingIn) | ComputingBrands.kif 3967-3967 | |
| (termFormat EnglishLanguage LoggingIn "logging in") | ComputingBrands.kif 3969-3969 | |
| (termFormat EnglishLanguage LoggingIn "login") | ComputingBrands.kif 3968-3968 |
| antecedent |
|
|
| (=> (and (instance ?LI LoggingIn) (agent ?LI ?U)) (exists (?A) (hasAccount ?U ?A))) |
ComputingBrands.kif 3928-3933 | |
| (=> (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 3935-3949 | |
| (=> (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 3951-3965 |
| 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 3972-3983 | |
| (=> (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 4300-4308 |
|
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