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
-------------------------


s__documentation(s__principalAmount__m,s__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 691-693
s__domain(s__principalAmount__m,n__1,s__FinancialAccount)

FinancialOntology.kif 689-689 The number 1 argument of principal amount is an instance of financial account
s__domain(s__principalAmount__m,n__2,s__CurrencyMeasure)

FinancialOntology.kif 690-690 The number 2 argument of principal amount is an instance of currency measure
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__principalAmount__m,s__BinaryPredicate)

FinancialOntology.kif 688-688 principal amount is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__principalAmount__m,'"%2 %n 是 %1 的 principal 总额"')

domainEnglishFormat.kif 2055-2055
s__format(s__ChineseTraditionalLanguage,s__principalAmount__m,'"%2 %n 是 %1 的 principal 總額"')

domainEnglishFormat.kif 2054-2054
s__format(s__EnglishLanguage,s__principalAmount__m,'"%2 is %n a principal amount of %1"')

domainEnglishFormat.kif 2053-2053
s__termFormat(s__ChineseLanguage,s__principalAmount__m,'"本金"')

domainEnglishFormat.kif 47331-47331
s__termFormat(s__ChineseTraditionalLanguage,s__principalAmount__m,'"本金"')

domainEnglishFormat.kif 47330-47330
s__termFormat(s__EnglishLanguage,s__principalAmount__m,'"principal amount"')

domainEnglishFormat.kif 47329-47329

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1178-1187
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1227-1236
( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Total,s__Number) &
         s__instance(V__Total,s__CurrencyMeasure) &
         s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Bond,s__ZeroCouponBond) &
             s__maturityDate(s__AccountFn(V__Bond)
          ,V__Date)
         &
         s__possesses(V__BondHolder,V__Bond)
       &
       s__principalAmount(s__AccountFn(V__Bond)
    ,V__Principal)
   &
   s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 2282-2296
( ! [V__Period,V__Loan,V__Date,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Date,s__TimeInterval) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Loan,s__InterestOnlyLoan) &
             s__agreementPeriod(V__Loan,V__Period)
           &
           s__principalAmount(V__Loan,V__Principal)
         &
         s__interestEarned(V__Loan,V__Interest,V__Period))
     =>
     ((s__amountDue(V__Loan,V__Principal,s__EndFn(V__Period))
     &
     s__amountDue(V__Loan,V__Interest,V__Date)
   &
   s__before(s__EndFn(V__Date)
,s__EndFn(V__Period)))))))
)
)

FinancialOntology.kif 1570-1579
( ! [V__Loan,V__Maturity,V__Principal] :
   (((s__instance(V__Maturity,s__Day) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Loan,s__SinglePaymentLoan) &
             s__principalAmount(V__Loan,V__Principal)
           &
           s__maturityDate(V__Loan,V__Maturity))
       =>
       (s__amountDue(V__Loan,V__Principal,V__Maturity)))))
)
)

FinancialOntology.kif 1551-1556
( ! [V__Date,V__Account,V__Principal] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__maturityDate(V__Account,V__Date)
           &
           s__principalAmount(V__Account,V__Principal))
       =>
       (s__amountDue(V__Account,V__Principal,V__Date)))))
)
)

FinancialOntology.kif 596-600
( ! [V__Period,V__Rate,V__Balance,V__Account,V__Interest,V__Multiply,V__Exponent,V__Rate_Decimal,V__Add] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Rate,s__Number) &
         s__instance(V__Balance,s__Number) &
         s__instance(V__Balance,s__CurrencyMeasure) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Multiply,s__Number) &
         s__instance(V__Exponent,s__RealNumber) &
         s__instance(V__Rate_Decimal,s__Number) &
         s__instance(V__Add,s__RealNumber))
       =>
       (((s__principalAmount(V__Account,V__Balance)
           &
           s__fixedInterestRate(V__Account,V__Rate)
         &
         s__compoundInterest(V__Account,V__Interest,V__Period)
       &
       (V__Rate_Decimal = s__DivisionFn(V__Rate,n__100))
     &
     (V__Add = s__AdditionFn(n__1,V__Rate_Decimal))
   &
   (V__Exponent = s__ExponentiationFn(V__Add,s__MagnitudeFn(V__Period)))
&
(V__Multiply = s__MultiplicationFn(V__Exponent,V__Balance)))
=>
((V__Interest = s__SubtractionFn(V__Multiply,V__Balance))))))
)
)

FinancialOntology.kif 532-541
( ! [V__Amount,V__Period,V__Rate,V__Balance,V__Account,V__Rate_Decimal] :
   (((s__instance(V__Amount,s__Interest) &
         s__instance(V__Amount,s__Number) &
         s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Rate,s__Number) &
         s__instance(V__Rate,s__PhysicalQuantity) &
         s__instance(V__Balance,s__Number) &
         s__instance(V__Balance,s__CurrencyMeasure) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Rate_Decimal,s__Number))
       =>
       (((s__principalAmount(V__Account,V__Balance)
           &
           s__fixedInterestRate(V__Account,V__Rate)
         &
         s__simpleInterest(V__Account,V__Amount,V__Period)
       &
       (V__Rate_Decimal = s__DivisionFn(s__MagnitudeFn(V__Rate)
      ,n__100)))
=>
((V__Amount = s__MultiplicationFn(s__MultiplicationFn(s__MagnitudeFn(V__Period)
  ,V__Balance)
,V__Rate_Decimal))))))
)
)

FinancialOntology.kif 514-520
( ! [V__Period,V__Rate,V__Account,V__Interest,V__Principal,V__Rate_Decimal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Rate,s__Number) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure) &
         s__instance(V__Rate_Decimal,s__Number))
       =>
       (((s__simpleInterest(V__Account,V__Interest,V__Period)
           &
           s__principalAmount(V__Account,V__Principal)
         &
         (V__Rate_Decimal = s__DivisionFn(V__Interest,V__Principal))
       &
       (V__Rate = s__MultiplicationFn(V__Rate_Decimal,n__100)))
   =>
   (s__interestRatePerPeriod(V__Account,V__Rate,V__Period)))))
)
)

FinancialOntology.kif 551-557


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