TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Account Agreement)	ComputingBrands.kif 4450-4450	Account is a subclass of agreement
(subclass Account ContentBearingObject)	ComputingBrands.kif 4451-4451	Account is a subclass of content bearing object
(documentation Account EnglishLanguage "An agreement to provide something over a period of time in return for providing compensation, which may just be access to a user's transactions or personal information.")	ComputingBrands.kif 4455-4457	Account is a subclass of content bearing object

appearance as argument number 2

(subclass FinancialAccount Account)	ComputingBrands.kif 4452-4452	Financial account is a subclass of account
(subclass UserAccount Account)	ComputingBrands.kif 4453-4453	User account is a subclass of account
(termFormat EnglishLanguage Account "account")	ComputingBrands.kif 4458-4458	User account is a subclass of account

appearance as argument number 3

(domain securityQA 3 Account)

The number 3 argument of security QA is an instance of account

antecedent

(=>
    (and
        (instance ?D DeletingAnAccount)
        (instance ?AC Account)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?D))
            (hasAccount ?A ?AC))
        (patient ?D ?AC)
        (agent ?D ?A))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?D))
        (not
            (hasAccount ?A ?AC))))

If X is an instance of deleting an account, Y is an instance of account, Z has account Y holds during immediately before the time of existence of X, Y is a patient of X, and Z is an agent of X, then Z has account Y holds during immediately after the time of existence of X