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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maturityDate

 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 Die Zahl 1 Argument von maturityDate ist ein fall von FinancialAccount %n{nicht}
(domain maturityDate 2 Day) FinancialOntology.kif 632-632 Die Zahl 2 Argument von maturityDate ist ein fall von Day %n{nicht}
(instance maturityDate BinaryPredicate) FinancialOntology.kif 629-629 maturityDate ist ein fall von BinaryPredicate %n{nicht}
(subrelation maturityDate agreementExpirationDate) FinancialOntology.kif 630-630 maturityDate ist eine teilrelation von agreementExpirationDate

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 36539-36539
(termFormat ChineseTraditionalLanguage maturityDate "成人禮") domainEnglishFormat.kif 36538-36538
(termFormat EnglishLanguage maturityDate "maturity date") domainEnglishFormat.kif 36537-36537

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 2333-2355
(=>
    (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 ?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 1411-1421
(=>
    (and
        (instance ?Loan SinglePaymentLoan)
        (principalAmount ?Loan ?Principal)
        (maturityDate ?Loan ?Maturity))
    (amountDue ?Loan ?Principal ?Maturity))		 FinancialOntology.kif 1596-1601
(=>
    (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 agreementPeriod FinancialAccount and TimeInterval und Day beendet ** TimeInterval %n{nicht} genau dann wenn maturityDate ** FinancialAccount and ** Day
(=>
    (instance ?Account TraditionalSavingsAccount)
    (not
        (exists (?Date)
            (maturityDate ?Account ?Date))))		 FinancialOntology.kif 1109-1113
(=>
    (instance ?Bond Bond)
    (exists (?Date)
        (maturityDate ?Bond ?Date)))		 FinancialOntology.kif 2265-2268
(=>
    (instance ?CD CertificateOfDeposit)
    (exists (?Date)
        (maturityDate ?CD ?Date)))		 FinancialOntology.kif 1082-1085


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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