| appearance as argument number 1 |
|
| (documentation CurrencyFn EnglishLanguage "A unary function that maps a FinancialAccount to the currency linked to the account.") | FinancialOntology.kif 285-286 | |
| (domain CurrencyFn 1 FinancialAccount) | FinancialOntology.kif 283-283 | 货币 的 1 数量 是 金融账户 的 instance |
| (instance CurrencyFn UnaryFunction) | FinancialOntology.kif 282-282 | 货币 是 一元函数 的 instance |
| (range CurrencyFn FinancialInstrument) | FinancialOntology.kif 284-284 | 货币 的 range 是 金融工具 的实例 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage CurrencyFn "%1 的 currency") | domainEnglishFormat.kif 608-608 | |
| (format ChineseTraditionalLanguage CurrencyFn "%1 的 currency") | domainEnglishFormat.kif 607-607 | |
| (format EnglishLanguage CurrencyFn "the currency of %1") | domainEnglishFormat.kif 606-606 | |
| (termFormat ChineseLanguage CurrencyFn "货币") | domainEnglishFormat.kif 18081-18081 | |
| (termFormat ChineseTraditionalLanguage CurrencyFn "貨幣") | domainEnglishFormat.kif 18080-18080 | |
| (termFormat EnglishLanguage CurrencyFn "currency") | domainEnglishFormat.kif 18079-18079 |
| 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 1829-1839 | 过程 是 退出 的 instance 和 金融账户 是 金融账户 的 instance 和 那个 金融账户 的 currency 是 那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程 是 罚款 的 instance 和 那个 另外 过程 在 那个 金融账户 的 currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户 的 liqudity 是 高流动性 |
| (=> (and (instance ?Account CheckingAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (or (exists (?Check) (and (instance ?Check Check) (instrument ?Transaction ?Check))) (exists (?DebitCard) (and (instance ?DebitCard DebitCard) (instrument ?Transaction ?DebitCard))))) |
FinancialOntology.kif 1128-1141 | |
| (=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card)))) |
FinancialOntology.kif 1238-1246 | |
| (=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account (MeasureFn ?MinPayment ?U) MonthDuration) (instance ?U UnitOfCurrency) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account (MeasureFn ?Amount ?U) ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 758-774 |
|
| (=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction)))) |
FinancialOntology.kif 1032-1040 | |
| (=> (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 1114-1123 | |
| (=> (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 1086-1098 | |
| (=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 436-453 | |
| (=> (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (transactionAmount ?Payment (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 408-424 | |
| (=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account)) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (instance ?Cash Currency) (patient ?Transaction ?Cash) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableCash ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3790-3804 |
|
| (=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit) (and (instance ?Deposit Deposit) (instrument ?Deposit ?Check) (equal (WhenFn ?Deposit) ?DepositTime) (meetsTemporally ?ProcessingTime ?DepositTime) (transactionAmount ?Deposit ?Amount) (destination ?Deposit (CurrencyFn ?Account))))) |
FinancialOntology.kif 120-135 |
|
| (=> (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (instance ?Account FinancialAccount) (destination ?Payment (CurrencyFn ?Account)) (amountDue ?Account ?Amount ?DueDate) (before (EndFn ?Date) (BeginFn ?DueDate))) (instance ?Payment Prepayment)) |
FinancialOntology.kif 833-841 |
| consequent |
|
|
| (=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent)) |
FinancialOntology.kif 655-667 | |
| (=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan))))) |
FinancialOntology.kif 806-815 | |
| (=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account OpeningAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment (MeasureFn ?Amount ?U)) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date)))) |
FinancialOntology.kif 686-699 | |
| (=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account UsingAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency) (currentAccountBalance ?Account ?Date (MeasureFn ?Amount ?U)) (lessThan ?Amount ?Balance)) (exists (?Penalty) (and (instance ?Penalty Penalty) (date ?Penalty ?Date) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 701-714 | |
| (=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account (MeasureFn ?MinPayment ?U) MonthDuration) (instance ?U UnitOfCurrency) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account (MeasureFn ?Amount ?U) ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 758-774 |
|
| (=> (and (instance ?Account SavingsAccount) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Agent)))) |
FinancialOntology.kif 1042-1051 | |
| (=> (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 1114-1123 | |
| (=> (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 1086-1098 | |
| (=> (and (instance ?Depositing DepositingACheck) (patient ?Depositing ?Check) (instance ?Check Check) (checkAccount ?Check ?Account) (monetaryValue ?Check ?Amount)) (exists (?Deposit) (and (instance ?Deposit Deposit) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount)))) |
FinancialOntology.kif 340-351 | |
| (=> (and (instance ?Loan BalloonLoan) (maturityDate ?Loan ?Date) (totalBalance ?Loan ?Amount) (borrower ?Loan ?Agent)) (holdsObligation (KappaFn ?Payment (and (date ?Payment ?Date) (transactionAmount ?Payment ?Amount) (destination ?Payment (CurrencyFn ?Loan)))) ?Agent)) |
FinancialOntology.kif 1410-1420 | |
| (=> (and (instance ?Refinancing Refinancing) (time ?Refinancing ?Time) (instance ?Loan Loan) (securedBy ?Loan ?Collateral) (borrower ?Loan ?Borrower) (currentAccountBalance ?Loan ?Time ?Amount) (patient ?Refinancing ?Loan)) (exists (?NewLoan ?Payment) (and (instance ?NewLoan Loan) (borrower ?NewLoan ?Borrower) (securedBy ?Loan ?Collateral) (destination ?Payment (CurrencyFn ?Loan)) (time ?Payment ?Time) (origin ?Payment (CurrencyFn ?NewLoan)) (transactionAmount ?Payment ?Amount)))) |
FinancialOntology.kif 1448-1465 |
|
| (=> (and (instance ?Statement BankStatement) (statementAccount ?Statement ?Account)) (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (or (origin ?Transaction (CurrencyFn ?Account)) (destination ?Transaction (CurrencyFn ?Account))) (realization ?Statement ?Transaction)))) |
FinancialOntology.kif 3837-3847 | |
| (=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit) (and (instance ?Deposit Deposit) (instrument ?Deposit ?Check) (equal (WhenFn ?Deposit) ?DepositTime) (meetsTemporally ?ProcessingTime ?DepositTime) (transactionAmount ?Deposit ?Amount) (destination ?Deposit (CurrencyFn ?Account))))) |
FinancialOntology.kif 120-135 |
|
| (=> (instance ?Deposit Deposit) (exists (?Account) (destination ?Deposit (CurrencyFn ?Account)))) |
FinancialOntology.kif 431-434 | |
| (=> (instance ?Loan ConsolidationLoan) (exists (?Loan1 ?Loan2 ?Payment1 ?Payment2) (and (instance ?Loan1 Loan) (instance ?Loan2 Loan) (destination ?Payment1 (CurrencyFn ?Loan1)) (destination ?Payment2 (CurrencyFn ?Loan2)) (origin ?Payment1 (CurrencyFn ?Loan)) (origin ?Payment2 (CurrencyFn ?Loan))))) |
FinancialOntology.kif 1522-1531 | |
| (=> (instance ?Withdrawal Withdrawal) (exists (?Account) (and (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account))))) |
FinancialOntology.kif 459-464 | |
| (=> (periodicPayment ?Account ?Amount ?Period) (exists (?Payment) (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Amount) (frequency ?Payment ?Period)))) |
FinancialOntology.kif 742-749 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners