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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 684-686
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 682-682	The number 1 argument of principal amount is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 683-683	The number 2 argument of principal amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 681-681	principal amount is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2055-2055
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2054-2054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2053-2053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47246-47246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47245-47245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47244-47244

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1165-1174	If a financial account is an instance of credit account and a cognitive agent holds account the financial account and a currency measure 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 a quantity is equal to (the currency measure and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1214-1223	If a loan is an instance of loan and the loan is the borrower of a cognitive agent and a currency measure 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 a quantity is equal to (the currency measure and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2263-2277	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 currency measure 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 an interest for the time interval and another currency measure is equal to (the currency measure and the interest), 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 other currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1557-1566	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1538-1543	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 595-599	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 531-540	If a currency measure is a principal amount of a financial account and an interest rate is a fixed interest rate of the financial account and the financial account compound interest an interest for a time interval and the interest rate-Decimal is equal to the interest rate and 100 and a real number is equal to (1 and the interest rate-Decimal) and another real number is equal to the real number raised to the power the magnitude of the time interval and a quantity is equal to the other real number and the currency measure, then the interest is equal to (the quantity and the currency measure)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 513-519	If a currency measure is a principal amount of a financial account and an interest rate is a fixed interest rate of the financial account and the financial account is simple interest an interest for a time interval and the interest rate-Decimal is equal to the magnitude of the interest rate and 100, then the interest is equal to the magnitude of the time interval and the currency measure and the interest rate-Decimal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 550-556	If a financial account is simple interest an interest for a time interval and a currency measure is a principal amount of the financial account and an interest rate-Decimal is equal to the interest and the currency measure and the interest rate is equal to the interest rate-Decimal and 100, then the financial account is interest rate per period the interest rate 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners