principalAmount - Sigma Knowledge base Browser

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 47386-47386
(termFormat ChineseTraditionalLanguage principalAmount "本金")	domainEnglishFormat.kif 47385-47385
(termFormat EnglishLanguage principalAmount "principal amount")	domainEnglishFormat.kif 47384-47384

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 1224-1233	If a financial account is an instance of credit account and a cognitive agent holds account the financial account and a real number is a principal amount of the financial account and a time interval is an agreement period of the financial account and the financial account is interest earned an interest for the time interval and another real number is equal to (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (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 1273-1282	If a loan is an instance of loan and the loan is the borrower of a cognitive agent and a real number is a principal amount of the loan and a time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval and another real number is equal to (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (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 2333-2355	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and a third real number is equal to (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction
(=> (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 1615-1624	If a financial account is an instance of interest only loan and a time interval is an agreement period of the financial account and a currency measure is a principal amount of the financial account and the financial account is interest earned an interest for the time interval, then the financial account amount due the currency measure for the end of the time interval and the financial account amount due the interest for another time interval and the end of the other time interval happens before the end of the time interval
(=> (and (instance ?Loan SinglePaymentLoan) (principalAmount ?Loan ?Principal) (maturityDate ?Loan ?Maturity)) (amountDue ?Loan ?Principal ?Maturity))	FinancialOntology.kif 1596-1601	If a financial account is an instance of single payment loan and a currency measure is a principal amount of the financial account and a day is a maturity date of the financial account, then the financial account amount due the currency measure for the day
(=> (and (maturityDate ?Account ?Date) (principalAmount ?Account ?Principal)) (amountDue ?Account ?Principal ?Date))	FinancialOntology.kif 636-640	If a day is a maturity date of a financial account and a currency measure is a principal amount of the financial account, then the financial account amount due the currency measure for the day
(=> (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	If a real number an unit of measure(s) is a principal amount of a financial account and another real number is a fixed interest rate of the financial account and the financial account is simple interest a third real number the unit of measure(s) for a time interval and the other real number-Decimal is equal to the other real number and 100, then the third real number is equal to the real number and the other real number-Decimal
(=> (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	If a financial account is simple interest a real number an unit of measure(s) for a time interval and another real number the unit of measure(s) is a principal amount of the financial account and a third real number-Decimal is equal to the real number and the other real number and the third real number is equal to the third real number-Decimal and 100.0, then the financial account is interest rate per period the third real number for the time interval

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