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 4539-4541 | |
(subclass Account Agreement) | ComputingBrands.kif 4534-4534 | Account 是 协议 的 subclass |
(subclass Account ContentBearingObject) | ComputingBrands.kif 4535-4535 | Account 是 有内用物体 的 subclass |
appearance as argument number 2 |
![]() |
(subclass FinancialAccount Account) | ComputingBrands.kif 4536-4536 | 金融账户 是 Account 的 subclass |
(subclass UserAccount Account) | ComputingBrands.kif 4537-4537 | 用户帐号 是 Account 的 subclass |
(termFormat EnglishLanguage Account "account") | ComputingBrands.kif 4542-4542 | 用户帐号 是 Account 的 subclass |
appearance as argument number 3 |
![]() |
(domain securityQA 3 Account) | ComputingBrands.kif 4547-4547 | securityQA 的 3 数量 是 Account 的 instance |
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 4561-4571 |
![]() |
![]() |