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


s__documentation(s__LoggingIn,s__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 3931-3934
s__instance(s__UserDirectAction,s__SetOrClass)

s__subclass(s__LoggingIn,s__UserDirectAction)

s__instance(s__LoggingIn,s__SetOrClass)

ComputingBrands.kif 3930-3930 Logging in is a subclass of UserDirectAction

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


s__subclass(s__TwoFactorLoggingIn,s__LoggingIn)

s__instance(s__TwoFactorLoggingIn,s__SetOrClass)

s__instance(s__LoggingIn,s__SetOrClass)

ComputingBrands.kif 4264-4264 Two-factor login is a subclass of logging in
s__instance(s__UserPasswordLogin,s__SetOrClass)

s__subclass(s__UserPasswordLogin,s__LoggingIn)

s__instance(s__LoggingIn,s__SetOrClass)

ComputingBrands.kif 3975-3975 UserPasswordLogin is a subclass of logging in
s__termFormat(s__EnglishLanguage,s__LoggingIn,'"logging in"')

ComputingBrands.kif 3977-3977
s__termFormat(s__EnglishLanguage,s__LoggingIn,'"login"')

ComputingBrands.kif 3976-3976

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


( ! [V__U,V__LI] :
   ((s__instance(V__U,s__Agent) =>
       (((s__instance(V__LI,s__LoggingIn) &
             s__agent(V__LI,V__U))
         =>
         (( ? [V__A] :
             ((s__instance(V__A,s__UserAccount) &
                 s__hasAccount(V__U,V__A))))))))
)
)

ComputingBrands.kif 3936-3941
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3943-3957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3973

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3980-3991
( ! [V__A,V__T,V__UA] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__T,s__TimeInterval) &
         s__instance(V__UA,s__UserAccount))
       =>
       ((s__loggedInDuring(V__A,V__UA,V__T)
         =>
         (( ? [V__L] :
             ((s__instance(V__L,s__LoggingIn) &
                 s__agent(V__L,V__A)
               &
               s__patient(V__L,V__UA)
             &
             s__hasAccount(V__A,V__UA)
           &
           s__earlier(V__T,s__WhenFn(V__L)))))))))
)
)

ComputingBrands.kif 4308-4316


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