| 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 456-457 | |
| (externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ 49024-SOS_ATM.JPG") | pictureList.kif 9841-9841 | |
| (externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 80/ NCR_ATM.JPG/ 450px_NCR_ATM.JPG") | pictureList.kif 9842-9842 | |
| (externalImage Withdrawal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px_Cajero_Banelco.jpg") | pictureList.kif 8803-8803 | |
| (subclass Withdrawal FinancialTransaction) | FinancialOntology.kif 455-455 | 子類 退出 and FinancialTransaction |
| appearance as argument number 2 |
|
|
| (disjoint Deposit Withdrawal) | FinancialOntology.kif 427-427 | 不相交的 存款 and 退出 |
| (termFormat ChineseLanguage Withdrawal "退出") | domainEnglishFormat.kif 63290-63290 | 不相交的 存款 and 退出 |
| (termFormat ChineseTraditionalLanguage Withdrawal "退出") | domainEnglishFormat.kif 63289-63289 | 不相交的 存款 and 退出 |
| (termFormat EnglishLanguage Withdrawal "withdrawing from an account") | domainEnglishFormat.kif 63288-63288 | 不相交的 存款 and 退出 |
| 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 1832-1842 | 例 Process and 退出 例 金融賬戶 and 金融賬戶 起源 Process and 金融賬戶 的 currency Process 例 Process and 罰款 目的地 Process and 金融賬戶 的 currency 原因 Process and Process 金融賬戶 的 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 1115-1124 | |
| (=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal)) (exists (?A) (and (patient ?Withdrawal ?Account) (agent ?Withdrawal ?A) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (patient ?Penalty ?A))))))) |
FinancialOntology.kif 1126-1138 | |
| (=> (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 1087-1099 | |
| (=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 466-481 |
|
| (=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account))))) |
FinancialOntology.kif 459-464 |
| consequent |
|
|
| (=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal ?WithdrawalTime) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account)))) |
FinancialOntology.kif 104-118 |
|
|
|
|