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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AccountActive

Sigma KEE - AccountActive
AccountActive(account active)

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


(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 4441-4443
(instance AccountActive AccountAttribute) ComputingBrands.kif 4439-4439 Account active is an instance of account attribute

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


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

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 4453-4462
(=>
    (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 4469-4478


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