| Withdrawal(退出)
| |
| appearance as argument number 1 |
|
|
| (documentation Withdrawal EnglishLanguage "An activity of money being transferred from a customer's account at a financial institution.") | FinancialOntology.kif 439-440 | |
| (externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ 49024-SOS-ATM.JPG") | pictureList.kif 9860-9860 | |
| (externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG") | pictureList.kif 9861-9861 | |
| (externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg") | pictureList.kif 8809-8809 | |
| (subclass Withdrawal FinancialTransaction) | FinancialOntology.kif 438-438 | 退出 是 金融交易 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint Deposit Withdrawal) | FinancialOntology.kif 419-419 | 存款 和 % 2 是 disjoint |
| (termFormat ChineseLanguage Withdrawal "退出") | domainEnglishFormat.kif 63160-63160 | |
| (termFormat ChineseTraditionalLanguage Withdrawal "退出") | domainEnglishFormat.kif 63159-63159 | |
| (termFormat EnglishLanguage Withdrawal "withdrawal") | domainEnglishFormat.kif 63158-63158 |
| antecedent |
|
|
| (<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1754-1764 | 过程 是 退出 的 instance 和 金融账户 是 金融账户 的 instance 和 那个 金融账户 的 currency 是 那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程 是 罚款 的 instance 和 那个 另外 过程 在 那个 金融账户 的 currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户 的 liqudity 是 高流动性 |
| (=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?Account))) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) |
FinancialOntology.kif 1059-1068 | |
| (=> (and (instance ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty)))) |
FinancialOntology.kif 1031-1043 | |
| (=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) ?Balance1) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) ?Balance2)) |
FinancialOntology.kif 449-457 | |
| (=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account))))) |
FinancialOntology.kif 442-447 |
| consequent |
|
|
| (=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account)))) |
FinancialOntology.kif 104-118 |
|
|
|
|