Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LoggingIn
LoggingIn

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 3885-3888
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3884-3884 LoggingInUserDirectActionsubclass

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


(subclass TwoFactorLoggingIn LoggingIn) ComputingBrands.kif 4218-4218 TwoFactorLoggingInLoggingInsubclass
(subclass UserPasswordLogin LoggingIn) ComputingBrands.kif 3929-3929 UserPasswordLoginLoggingInsubclass
(termFormat EnglishLanguage LoggingIn "logging in") ComputingBrands.kif 3931-3931
(termFormat EnglishLanguage LoggingIn "login") ComputingBrands.kif 3930-3930

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


(=>
    (and
        (instance ?LI LoggingIn)
        (agent ?LI ?U))
    (exists (?A)
        (hasAccount ?U ?A)))
ComputingBrands.kif 3890-3895
(=>
    (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 3897-3911
(=>
    (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 3913-3927

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 3934-3945
(=>
    (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 4262-4270


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners