LoggingIn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LoggingIn

LoggingIn(logging in)

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	Logging in is a subclass of user direct action

appearance as argument number 2

(subclass TwoFactorLoggingIn LoggingIn)	ComputingBrands.kif 4293-4293	Two-factor login is a subclass of logging in
(subclass UserPasswordLogin LoggingIn)	ComputingBrands.kif 4004-4004	User password login is a subclass of logging in
(termFormat EnglishLanguage LoggingIn "logging in")	ComputingBrands.kif 4006-4006	User password login is a subclass of logging in
(termFormat EnglishLanguage LoggingIn "login")	ComputingBrands.kif 4005-4005	User password login is a subclass of logging in

antecedent

(=> (and (instance ?LI LoggingIn) (agent ?LI ?U)) (exists (?A) (hasAccount ?U ?A)))	ComputingBrands.kif 3965-3970	If a process is an instance of logging in and an agent is an agent of the process, then there exists an user account such that the agent has account the user account
(=> (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 3972-3986	If a process is an instance of logging in and an agent has account an user account and the user account is an account at a web site and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the web site is a patient of the entity holds during the time interval has the modal force of possibility
(=> (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 3988-4002	If a process is an instance of logging in and an agent has account an user account and device account the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility

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	If a process is an instance of login failure and an agent is an agent of the process and the agent has account the agentC, then there doesn't exist an entity such that the agent is an agent of the entity and the entity is an instance of logging in and the agentC is a patient of the entity holds during the time of existence of the process
(=> (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	If an agent is logged-in to an user account during a time interval, then there exists a process such that the process is an instance of logging in and the agent is an agent of the process and the user account is a patient of the process and the agent has account the user account and the time interval happens earlier than the time of existence of the process

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