Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| maturityDate |
| appearance as argument number 1 |
|
| (instance maturityDate BinaryPredicate) | FinancialOntology.kif 650-650 | maturity date is an instance of binary predicate |
| (subrelation maturityDate agreementExpirationDate) | FinancialOntology.kif 651-651 | maturity date is a subrelation of expiration date |
| (domain maturityDate 1 FinancialAccount) | FinancialOntology.kif 652-652 | The number 1 argument of maturity date is an instance of financial account |
| (domain maturityDate 2 Day) | FinancialOntology.kif 653-653 | The number 2 argument of maturity date is an instance of day |
| (documentation maturityDate EnglishLanguage "The date on which the principal amount of the account becomes due and payable.") | FinancialOntology.kif 654-655 | The number 2 argument of maturity date is an instance of day |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage maturityDate "%2 is %n a maturity date of %1") | domainEnglishFormat.kif 1645-1645 | |
| (format ChineseTraditionalLanguage maturityDate "%2 %n 是 %1 的 maturity 日期") | domainEnglishFormat.kif 1646-1646 | |
| (format ChineseLanguage maturityDate "%2 %n 是 %1 的 maturity 日期") | domainEnglishFormat.kif 1647-1647 | |
| (termFormat EnglishLanguage maturityDate "maturity date") | domainEnglishFormat.kif 36539-36539 | |
| (termFormat ChineseTraditionalLanguage maturityDate "成人禮") | domainEnglishFormat.kif 36540-36540 | |
| (termFormat ChineseLanguage maturityDate "成人礼") | domainEnglishFormat.kif 36541-36541 |
| antecedent |
|
|
| (=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date)) |
FinancialOntology.kif 657-661 | If X is a maturity date of Y and Z is a principal amount of Y, then Y amount due Z for X |
| (=> (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 1112-1124 | If All of the following hold: (1) X is an instance of certificate of deposit (2) Y is a maturity date of X (3) Z is an instance of withdrawing from an account (4) Z originates at the currency of X (5) date of Z is W (6) the end of W happens before the beginning of Y, then there exists V such that V is an instance of penalizing, V ends up at the currency of X, and Z causes V |
| (=> (and (instance ?Loan BalloonLoan) (maturityDate ?Loan ?Date) (totalBalance ?Loan ?Amount) (borrower ?Loan ?Agent)) (holdsObligation ?Agent (exists (?Payment) (and (date ?Payment ?Date) (transactionAmount ?Payment ?Amount) (destination ?Payment (CurrencyFn ?Loan)))))) |
FinancialOntology.kif 1451-1462 | If X is an instance of balloon loan, Y is a maturity date of X, Z is a total balance of X, and X is the borrower of W, then W is obliged to perform tasks of type there exists V such that date of V is Y, Z is a transaction amount of V, and V ends up at the currency of X |
| (=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity)) |
FinancialOntology.kif 1641-1646 | If X is an instance of single payment loan, Y is a principal amount of X, and Z is a maturity date of X, then X amount due Y for Z |
| (=> (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 2374-2396 | If All of the following hold: (1) X is an instance of zero coupon bond (2) Y is a maturity date of the account of X (3) Z possesses X (4) W V(s) is a principal amount of the account of X (5) U is an agreement period of the account of X (6) the account of X is interest earned T V(s) for U (7) equal S and (W and T), then there exists R such that R is an instance of payment and R ends up at Z and R originates at the account of X and S V(s) is a transaction amount of R |
| consequent |
|
|
| (<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End)) |
FinancialOntology.kif 663-667 | X is an agreement period of Y, Z finishes X if, and only if Z is a maturity date of Y |
| (=> (instance ?CD CertificateOfDeposit) (exists (?Date) (maturityDate ?CD ?Date))) |
FinancialOntology.kif 1107-1110 | If X is an instance of certificate of deposit, then there exists Y such that Y is a maturity date of X |
| (=> (instance ?Account TraditionalSavingsAccount) (not (exists (?Date) (maturityDate ?Account ?Date)))) |
FinancialOntology.kif 1134-1138 | If X is an instance of traditional savings account, then there doesn't exist Y such that Y is a maturity date of X |
| (=> (instance ?Bond Bond) (exists (?Date) (maturityDate ?Bond ?Date))) |
FinancialOntology.kif 2306-2309 | If X is an instance of bond, then there exists Y such that Y is a maturity date of X |
|