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

Formal Language: 



KB Term:  Term intersection
English Word: 

  interestEarned

Sigma KEE - interestEarned
interestEarned

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


(documentation interestEarned EnglishLanguage "(interestEarned ?Account ?Interest ?Period) means that ?Interest is the amount earned on the FinancialAccount ?Account, for the duration ?Period.") FinancialOntology.kif 501-503
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 498-498 interestEarned 的 1 数量 是 FinancialAccountinstance
(domain interestEarned 2 Interest) FinancialOntology.kif 499-499 interestEarned 的 2 数量 是 Interestinstance
(domain interestEarned 3 TimeInterval) FinancialOntology.kif 500-500 interestEarned 的 3 数量 是 时距instance
(instance interestEarned TernaryPredicate) FinancialOntology.kif 497-497 interestEarned三元谓语instance

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


(format EnglishLanguage interestEarned "%1 %n{doesn't} interest earned %2 for %3") domainEnglishFormat.kif 348-348
(subrelation compoundInterest interestEarned) FinancialOntology.kif 523-523 compoundInterestinterestEarnedsubrelation
(subrelation simpleInterest interestEarned) FinancialOntology.kif 506-506 simpleInterestinterestEarnedsubrelation
(termFormat EnglishLanguage interestEarned "interest earned") domainEnglishFormat.kif 5485-5485 termFormat EnglishLanguage, interestEarned and "interest earned"

antecedent
-------------------------


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3755-3761 有存在 时距 这样 LoanLoaninstanceagreementPeriod 那个 Loan and 那个 时距interestEarned 那个 Loan, Interest and 那个 时距 若且唯若 loanInterest 那个 Loan and 那个 Interest
(=>
    (and
        (borrower ?Loan ?Borrower)
        (lender ?Loan ?Lender)
        (agreementPeriod ?Loan ?Period)
        (interestEarned ?Loan ?Interest ?Period))
    (exists (?Payment)
        (and
            (origin ?Payment ?Borrower)
            (transactionAmount ?Payment ?Interest)
            (destination ?Payment ?Lender))))
FinancialOntology.kif 1203-1213
(=>
    (and
        (instance ?Account CreditAccount)
        (accountAt ?Account ?Organization)
        (accountHolder ?Account ?Agent)
        (interestEarned ?Account ?Interest ?Period))
    (exists (?Payment)
        (and
            (origin ?Payment ?Agent)
            (transactionAmount ?Payment ?Interest)
            (destination ?Payment ?Organization))))
FinancialOntology.kif 1154-1164
(=>
    (and
        (instance ?Account CreditAccount)
        (accountHolder ?Account ?Agent)
        (principalAmount ?Account ?Principal)
        (agreementPeriod ?Account ?Period)
        (interestEarned ?Account ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (holdsObligation
        (KappaFn ?Payment
            (transactionAmount ?Payment ?Total)) ?Agent))
FinancialOntology.kif 1166-1175
(=>
    (and
        (instance ?Account Loan)
        (borrower ?Account ?Agent)
        (principalAmount ?Account ?Principal)
        (agreementPeriod ?Account ?Period)
        (interestEarned ?Account ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (holdsObligation
        (KappaFn ?Payment
            (transactionAmount ?Payment ?Total)) ?Agent))
FinancialOntology.kif 1215-1224
(=>
    (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 988-997
(=>
    (and
        (instance ?Bond ZeroCouponBond)
        (maturityDate
            (AccountFn ?Bond) ?Date)
        (possesses ?BondHolder ?Bond)
        (principalAmount
            (AccountFn ?Bond) ?Principal)
        (agreementPeriod
            (AccountFn ?Bond) ?Period)
        (interestEarned
            (AccountFn ?Bond) ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (exists (?Payment)
        (and
            (instance ?Payment Payment)
            (destination ?Payment ?BondHolder)
            (origin ?Payment
                (CurrencyFn ?BondAccount))
            (transactionAmount ?Payment ?Total))))
FinancialOntology.kif 2264-2278
(=>
    (and
        (instance ?Loan InterestOnlyLoan)
        (agreementPeriod ?Loan ?Period)
        (principalAmount ?Loan ?Principal)
        (interestEarned ?Loan ?Interest ?Period))
    (and
        (amountDue ?Loan ?Principal
            (EndFn ?Period))
        (amountDue ?Loan ?Interest ?Date)
        (before
            (EndFn ?Date)
            (EndFn ?Period))))
FinancialOntology.kif 1559-1568

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


(=>
    (and
        (loanFeeAmount ?Loan ?Amount)
        (agreementPeriod ?Loan ?Period))
    (interestEarned ?Loan ?Amount ?Period))
FinancialOntology.kif 3999-4003
(=>
    (and
        (statementInterest ?Statement ?Interest)
        (statementPeriod ?Statement ?Period)
        (statementAccount ?Statement ?Account))
    (exists (?Amount)
        (interestEarned ?Account ?Amount ?Period)))
FinancialOntology.kif 3918-3924


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners