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 733-735
(domain principalAmount 1 FinancialAccount) FinancialOntology.kif 731-731 principalAmount の数値 1 引数は FinancialAccount の instance では
(domain principalAmount 2 CurrencyMeasure) FinancialOntology.kif 732-732 principalAmount の数値 2 引数は 通貨測定 の instance では
(instance principalAmount BinaryPredicate) FinancialOntology.kif 730-730 principalAmount は 2進述語 の instance では

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


(format ChineseLanguage principalAmount "%2 %n 是 %1 的 principal 总额") domainEnglishFormat.kif 2059-2059
(format ChineseTraditionalLanguage principalAmount "%2 %n 是 %1 的 principal 總額") domainEnglishFormat.kif 2058-2058
(format EnglishLanguage principalAmount "%2 is %n a principal amount of %1") domainEnglishFormat.kif 2057-2057
(termFormat ChineseLanguage principalAmount "本金") domainEnglishFormat.kif 47350-47350
(termFormat ChineseTraditionalLanguage principalAmount "本金") domainEnglishFormat.kif 47349-47349
(termFormat EnglishLanguage principalAmount "principal amount") domainEnglishFormat.kif 47348-47348

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 1240-1249
(=>
    (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 1289-1298
(=>
    (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 2350-2372
(=>
    (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 1631-1640
(=>
    (and
        (instance ?Loan SinglePaymentLoan)
        (principalAmount ?Loan ?Principal)
        (maturityDate ?Loan ?Maturity))
    (amountDue ?Loan ?Principal ?Maturity))		 FinancialOntology.kif 1612-1617
(=>
    (and
        (maturityDate ?Account ?Date)
        (principalAmount ?Account ?Principal))
    (amountDue ?Account ?Principal ?Date))		 FinancialOntology.kif 638-642
(=>
    (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 540-550
(=>
    (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 589-599


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