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 3955-3958
(subclass LoggingIn UserDirectAction)	ComputingBrands.kif 3954-3954	Logging in is a subclass of user direct action

appearance as argument number 2

(subclass TwoFactorLoggingIn LoggingIn)	ComputingBrands.kif 4288-4288	Two_factor login is a subclass of logging in
(subclass UserPasswordLogin LoggingIn)	ComputingBrands.kif 3999-3999	User password login is a subclass of logging in
(termFormat EnglishLanguage LoggingIn "logging in")	ComputingBrands.kif 4001-4001	User password login is a subclass of logging in
(termFormat EnglishLanguage LoggingIn "login")	ComputingBrands.kif 4000-4000	User password login is a subclass of logging in

antecedent

(=> (and (instance ?LI LoggingIn) (agent ?LI ?U)) (exists (?A) (hasAccount ?U ?A)))	ComputingBrands.kif 3960-3965	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 3967-3981	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 equal a time interval and 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 3983-3997	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 equal a time interval and 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 4004-4015	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 4332-4340	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