Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LoggingIn
LoggingIn(logging in)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(subclass UserPasswordLogin LoggingIn) ComputingBrands.kif 3910-3910 User password login is a subclass of logging in
(termFormat EnglishLanguage LoggingIn "login") ComputingBrands.kif 3911-3911 User password login is a subclass of logging in
(termFormat EnglishLanguage LoggingIn "logging in") ComputingBrands.kif 3912-3912 User password login is a subclass of logging in
(subclass TwoFactorLoggingIn LoggingIn) ComputingBrands.kif 4199-4199 Two_factor login is a subclass of logging in

antecedent
-------------------------


(=>
    (and
        (instance ?LI LoggingIn)
        (agent ?LI ?U))
    (exists (?A)
        (hasAccount ?U ?A)))		 ComputingBrands.kif 3871-3876 If X is an instance of logging in and Y is an agent of X, then there exists Z such that Y has account Z
(=>
    (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 3878-3892 If X is an instance of logging in, Y has account Z, Z is an account at W, equal V and immediately after the time of existence of X, and Y is an agent of X, then the statement there exists U such that U is an instance of computer process, Y is an agent of U, and W is a patient of U holds during V 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 3894-3908 If X is an instance of logging in, Y has account Z, device account Z and W, equal V and immediately after the time of existence of X, and Y is an agent of X, then the statement there exists U such that U is an instance of computer process, Y is an agent of U, and W is an instrument for U holds during V 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 3915-3926 If X is an instance of login failure, Y is an agent of X, and Y has account Z, then there doesn't exist W such that Y is an agent of W, W is an instance of logging in, and Z is a patient of W holds during the time of existence of X
(=>
    (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 4243-4251 If X is logged_in to Y during Z, then there exists W such that W is an instance of logging in, X is an agent of W, Y is a patient of W, X has account Y, and Z happens earlier than the time of existence of W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners