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

KB Term:  Term intersection
English Word: 

Sigma KEE - AccountDeactivated
AccountDeactivated(account deactivated)

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


(documentation AccountDeactivated EnglishLanguage "A UserAccount is deactivated and so while its information continues to be stored, it cannot be accessed by a normal LoggingIn Process.") ComputingBrands.kif 4374-4376
(instance AccountDeactivated AccountAttribute) ComputingBrands.kif 4378-4378 Account deactivated is an instance of account attribute
(contraryAttribute AccountDeactivated AccountActive) ComputingBrands.kif 4386-4386 Account deactivated is the opposite of account active

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


(termFormat EnglishLanguage AccountDeactivated "account deactivated") ComputingBrands.kif 4377-4377

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