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 684-686 | |
(domain principalAmount 1 FinancialAccount) | FinancialOntology.kif 682-682 | |
(domain principalAmount 2 CurrencyMeasure) | FinancialOntology.kif 683-683 | |
(instance principalAmount BinaryPredicate) | FinancialOntology.kif 681-681 |
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 47287-47287 | |
(termFormat ChineseTraditionalLanguage principalAmount "本金") | domainEnglishFormat.kif 47286-47286 | |
(termFormat EnglishLanguage principalAmount "principal amount") | domainEnglishFormat.kif 47285-47285 |
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 1165-1174 | |
(=> (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 1214-1223 | |
(=> (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 (AccountFn ?Bond)) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 2262-2276 | |
(=> (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 1557-1566 | |
(=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity)) |
FinancialOntology.kif 1538-1543 | |
(=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date)) |
FinancialOntology.kif 595-599 | |
(=> (and (principalAmount ?Account ?Balance) (fixedInterestRate ?Account ?Rate) (compoundInterest ?Account ?Interest ?Period) (equal ?Rate-Decimal (DivisionFn ?Rate 100)) (equal ?Add (AdditionFn 1 ?Rate-Decimal)) (equal ?Exponent (ExponentiationFn ?Add (MagnitudeFn ?Period))) (equal ?Multiply (MultiplicationFn ?Exponent ?Balance))) (equal ?Interest (SubtractionFn ?Multiply ?Balance))) |
FinancialOntology.kif 531-540 | |
(=> (and (principalAmount ?Account ?Balance) (fixedInterestRate ?Account ?Rate) (simpleInterest ?Account ?Amount ?Period) (equal ?Rate-Decimal (DivisionFn (MagnitudeFn ?Rate) 100))) (equal ?Amount (MultiplicationFn (MultiplicationFn (MagnitudeFn ?Period) ?Balance) ?Rate-Decimal))) |
FinancialOntology.kif 513-519 | |
(=> (and (simpleInterest ?Account ?Interest ?Period) (principalAmount ?Account ?Principal) (equal ?Rate-Decimal (DivisionFn ?Interest ?Principal)) (equal ?Rate (MultiplicationFn ?Rate-Decimal 100))) (interestRatePerPeriod ?Account ?Rate ?Period)) |
FinancialOntology.kif 550-556 |
![]() |
![]() |