| appearance as argument number 1 |
|
| (documentation maturityDate EnglishLanguage "The date on which the principal amount of the account becomes due and payable.") | FinancialOntology.kif 635-636 | |
| (domain maturityDate 1 FinancialAccount) | FinancialOntology.kif 633-633 | maturityDate の数値 1 引数は FinancialAccount の instance では |
| (domain maturityDate 2 Day) | FinancialOntology.kif 634-634 | maturityDate の数値 2 引数は 日 の instance では |
| (instance maturityDate BinaryPredicate) | FinancialOntology.kif 631-631 | maturityDate は 2進述語 の instance では |
| (subrelation maturityDate agreementExpirationDate) | FinancialOntology.kif 632-632 | maturityDate は agreementExpirationDate の subrelation では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage maturityDate "%2 %n 是 %1 的 maturity 日期") | domainEnglishFormat.kif 1647-1647 | |
| (format ChineseTraditionalLanguage maturityDate "%2 %n 是 %1 的 maturity 日期") | domainEnglishFormat.kif 1646-1646 | |
| (format EnglishLanguage maturityDate "%2 is %n a maturity date of %1") | domainEnglishFormat.kif 1645-1645 | |
| (termFormat ChineseLanguage maturityDate "成人礼") | domainEnglishFormat.kif 36548-36548 | |
| (termFormat ChineseTraditionalLanguage maturityDate "成人禮") | domainEnglishFormat.kif 36547-36547 | |
| (termFormat EnglishLanguage maturityDate "maturity date") | domainEnglishFormat.kif 36546-36546 |
| antecedent |
|
|
| (=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2350-2372 |
|
| (=> (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 1089-1101 |
|
| (=> (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 1427-1437 | |
| (=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity)) |
FinancialOntology.kif 1612-1617 | |
| (=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date)) |
FinancialOntology.kif 638-642 |
| consequent |
|
|
| (<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End)) |
FinancialOntology.kif 644-648 | agreementPeriod FinancialAccount and 時間間隔 日 は 時間間隔 を finishes maturityDate FinancialAccount and 日 |
| (=> (instance ?Account TraditionalSavingsAccount) (not (exists (?Date) (maturityDate ?Account ?Date)))) |
FinancialOntology.kif 1111-1115 | |
| (=> (instance ?Bond Bond) (exists (?Date) (maturityDate ?Bond ?Date))) |
FinancialOntology.kif 2282-2285 |
|
| (=> (instance ?CD CertificateOfDeposit) (exists (?Date) (maturityDate ?CD ?Date))) |
FinancialOntology.kif 1084-1087 |
|
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