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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LoggingIn

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 3960-3963
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3959-3959

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


(subclass TwoFactorLoggingIn LoggingIn) ComputingBrands.kif 4293-4293
(subclass UserPasswordLogin LoggingIn) ComputingBrands.kif 4004-4004
(termFormat EnglishLanguage LoggingIn "logging in") ComputingBrands.kif 4006-4006
(termFormat EnglishLanguage LoggingIn "login") ComputingBrands.kif 4005-4005

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


(=>
    (and
        (instance ?LI LoggingIn)
        (agent ?LI ?U))
    (exists (?A)
        (hasAccount ?U ?A)))
ComputingBrands.kif 3965-3970
(=>
    (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
(=>
    (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

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
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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