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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - principalAmount
principalAmount

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


(documentation principalAmount EnglishLanguage "(principalAmount ?ACCOUNT ?BALANCE) means that ?BALANCE is the amount borrowed, or the part of the amount borrowed which remains unpaid (excluding interest).") FinancialOntology.kif 731-733
(domain principalAmount 1 FinancialAccount) FinancialOntology.kif 729-729 The number 1 argument of principal amount is an instance of financial account
(domain principalAmount 2 CurrencyMeasure) FinancialOntology.kif 730-730 The number 2 argument of principal amount is an instance of currency measure
(instance principalAmount BinaryPredicate) FinancialOntology.kif 728-728 principal amount is an instance of binary predicate

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


(format ChineseLanguage principalAmount "%2 %n 是 %1 的 principal 总额") domainEnglishFormat.kif 2055-2055
(format ChineseTraditionalLanguage principalAmount "%2 %n 是 %1 的 principal 總額") domainEnglishFormat.kif 2054-2054
(format EnglishLanguage principalAmount "%2 is %n a principal amount of %1") domainEnglishFormat.kif 2053-2053
(termFormat ChineseLanguage principalAmount "本金") domainEnglishFormat.kif 47331-47331
(termFormat ChineseTraditionalLanguage principalAmount "本金") domainEnglishFormat.kif 47330-47330
(termFormat EnglishLanguage principalAmount "principal amount") domainEnglishFormat.kif 47329-47329

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


(=>
    (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 1223-1232
(=>
    (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 1272-1281
(=>
    (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 ?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 1614-1623
(=>
    (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
(=>
    (and
        (principalAmount ?Account
            (MeasureFn ?Balance ?CUNIT))
        (fixedInterestRate ?Account ?Rate)
        (simpleInterest ?Account
            (MeasureFn ?Amount ?CUNIT) ?Period)
        (equal ?Rate-Decimal
            (DivisionFn ?Rate 100)))
    (equal ?Amount
        (MultiplicationFn ?Balance ?Rate-Decimal)))
FinancialOntology.kif 538-548
(=>
    (and
        (simpleInterest ?Account
            (MeasureFn ?Interest ?CUNIT) ?Period)
        (principalAmount ?Account
            (MeasureFn ?Principal ?CUNIT))
        (equal ?Rate-Decimal
            (DivisionFn ?Interest ?Principal))
        (equal ?Rate
            (MultiplicationFn ?Rate-Decimal 100.0)))
    (interestRatePerPeriod ?Account ?Rate ?Period))
FinancialOntology.kif 587-597


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