Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maturityDate
maturityDate

appearance as argument number 1
-------------------------


(documentation maturityDate EnglishLanguage "The date on which the principal amount of the account becomes due and payable.") FinancialOntology.kif 633-634
(domain maturityDate 1 FinancialAccount) FinancialOntology.kif 631-631 The number 1 argument of maturity date is an instance of financial account
(domain maturityDate 2 Day) FinancialOntology.kif 632-632 The number 2 argument of maturity date is an instance of day
(instance maturityDate BinaryPredicate) FinancialOntology.kif 629-629 maturity date is an instance of binary predicate
(subrelation maturityDate agreementExpirationDate) FinancialOntology.kif 630-630 maturity date is a subrelation of expiration date

appearance as argument number 2
-------------------------


(format ChineseLanguage maturityDate "%2 %n 是 %1 的 maturity 日期") domainEnglishFormat.kif 1643-1643
(format ChineseTraditionalLanguage maturityDate "%2 %n 是 %1 的 maturity 日期") domainEnglishFormat.kif 1642-1642
(format EnglishLanguage maturityDate "%2 is %n a maturity date of %1") domainEnglishFormat.kif 1641-1641
(termFormat ChineseLanguage maturityDate "成人礼") domainEnglishFormat.kif 36522-36522
(termFormat ChineseTraditionalLanguage maturityDate "成人禮") domainEnglishFormat.kif 36521-36521
(termFormat EnglishLanguage maturityDate "maturity date") domainEnglishFormat.kif 36520-36520

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 2341-2363
(=>
    (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 ?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 ?Loan SinglePaymentLoan)
        (principalAmount ?Loan ?Principal)
        (maturityDate ?Loan ?Maturity))
    (amountDue ?Loan ?Principal ?Maturity))
FinancialOntology.kif 1595-1600
(=>
    (and
        (maturityDate ?Account ?Date)
        (principalAmount ?Account ?Principal))
    (amountDue ?Account ?Principal ?Date))
FinancialOntology.kif 636-640

consequent
-------------------------


(<=>
    (and
        (agreementPeriod ?Account ?Period)
        (finishes ?End ?Period))
    (maturityDate ?Account ?End))
FinancialOntology.kif 642-646 A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account
(=>
    (instance ?Account TraditionalSavingsAccount)
    (not
        (exists (?Date)
            (maturityDate ?Account ?Date))))
FinancialOntology.kif 1108-1112
(=>
    (instance ?Bond Bond)
    (exists (?Date)
        (maturityDate ?Bond ?Date)))
FinancialOntology.kif 2273-2276
(=>
    (instance ?CD CertificateOfDeposit)
    (exists (?Date)
        (maturityDate ?CD ?Date)))
FinancialOntology.kif 1081-1084


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