|
|
   Account
|
|
|
| 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 ist eine teilkategorie von Agreement |
| (subclass Account ContentBearingObject) | ComputingBrands.kif 4540-4540 | Account ist eine teilkategorie von ContentBearingObject |
| appearance as argument number 2 |
|
|
| (subclass FinancialAccount Account) | ComputingBrands.kif 4541-4541 | FinancialAccount ist eine teilkategorie von Account |
| (subclass UserAccount Account) | ComputingBrands.kif 4542-4542 | UserAccount ist eine teilkategorie von Account |
| (termFormat EnglishLanguage Account "account") | ComputingBrands.kif 4547-4547 |
| appearance as argument number 3 |
|
|
| (domain securityQA 3 Account) | ComputingBrands.kif 4552-4552 | Die Zahl 3 Argument von securityQA ist ein fall von Account %n{nicht} |
| 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 |
|
|
|
|