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

KB Term:  Term intersection
English Word: 

Sigma KEE - AccountActive
AccountActive(account active)

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


(instance AccountActive AccountAttribute) ComputingBrands.kif 4379-4379 Account active is an instance of account attribute
(documentation AccountActive EnglishLanguage "A UserAccount is active - its information continues to be stored, and it can be accessed by a normal LoggingIn Process.") ComputingBrands.kif 4381-4383 Account active is an instance of account attribute

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


(termFormat EnglishLanguage AccountActive "account active") ComputingBrands.kif 4384-4384
(contraryAttribute AccountDeactivated AccountActive) ComputingBrands.kif 4386-4386 Account deactivated is the opposite of account active

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


(=>
    (and
        (instance ?ACT ActivatingADeactivatedAccount)
        (instance ?AC UserAccount)
        (patient ?ACT ?AC))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?ACT))
            (attribute ?AC AccountDeactivated))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?ACT))
            (attribute ?AC AccountActive))))		 ComputingBrands.kif 4393-4402 If X is an instance of activating a deactivated account, Y is an instance of user account, and Y is a patient of X, then account deactivated is an attribute of Y holds during immediately before the time of existence of X and account active is an attribute of Y holds during immediately after the time of existence of X
(=>
    (and
        (instance ?DEACT DeactivatingAnAccount)
        (instance ?AC UserAccount)
        (patient ?DEACT ?AC))
    (and
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?DEACT))
            (attribute ?AC AccountDeactivated))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?DEACT))
            (attribute ?AC AccountActive))))		 ComputingBrands.kif 4409-4418 If X is an instance of de_activating an account, Y is an instance of user account, and Y is a patient of X, then account deactivated is an attribute of Y holds during immediately after the time of existence of X and account active is an attribute of Y holds during immediately before the time of existence of X


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners