Account - Sigma Knowledge base Browser

appearance as argument number 1

(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 4544-4546
(subclass Account Agreement)	ComputingBrands.kif 4539-4539	Account は Agreement の subclass では %n
(subclass Account ContentBearingObject)	ComputingBrands.kif 4540-4540	Account はコンテンツベアリングオブジェクトの subclass では %n

appearance as argument number 2

(subclass FinancialAccount Account)	ComputingBrands.kif 4541-4541	FinancialAccount は Account の subclass では %n
(subclass UserAccount Account)	ComputingBrands.kif 4542-4542	UserAccount は Account の subclass では %n
(termFormat EnglishLanguage Account "account")	ComputingBrands.kif 4547-4547

appearance as argument number 3

(domain securityQA 3 Account)

ComputingBrands.kif 4552-4552

securityQA の数値 3 引数は Account の instance では %n

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

ComputingBrands.kif 4566-4576