| 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 | 本金 的 1 数量 是 金融账户 的 instance |
| (domain principalAmount 2 CurrencyMeasure) | FinancialOntology.kif 730-730 | 本金 的 2 数量 是 货币测量 的 instance |
| (instance principalAmount BinaryPredicate) | FinancialOntology.kif 728-728 | 本金 是 二元谓语 的 instance |
| 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