interestEarned - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - interestEarned

interestEarned

appearance as argument number 1

s__documentation(s__interestEarned__m,s__EnglishLanguage,'"(interestEarned ?Account ?Interest ?Period) means that ?Interest is the amount earned on the FinancialAccount ?Account, for the duration ?Period."')	FinancialOntology.kif 500-502
s__domain(s__interestEarned__m,n__1,s__FinancialAccount)	FinancialOntology.kif 497-497	The number 1 argument of interest earned is an instance of financial account
s__domain(s__interestEarned__m,n__2,s__Interest)	FinancialOntology.kif 498-498	The number 2 argument of interest earned is an instance of interest
s__domain(s__interestEarned__m,n__3,s__TimeInterval)	FinancialOntology.kif 499-499	The number 3 argument of interest earned is an instance of time interval
s__instance(s__TernaryPredicate,s__SetOrClass) s__instance(s__interestEarned__m,s__TernaryPredicate)	FinancialOntology.kif 496-496	interest earned is an instance of ternary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__interestEarned__m,'"%1 %n 是对于 %3 的赚取 interest "')	domainEnglishFormat.kif 1361-1361
s__format(s__ChineseTraditionalLanguage,s__interestEarned__m,'"%1 %n 是對於 %3 的賺取 interest "')	domainEnglishFormat.kif 1360-1360
s__format(s__EnglishLanguage,s__interestEarned__m,'"%1 is %n interest earned %2 for %3"')	domainEnglishFormat.kif 1359-1359
s__subrelation(s__compoundInterest__m,s__interestEarned__m)	FinancialOntology.kif 522-522	compound interest is a subrelation of interest earned
s__subrelation(s__simpleInterest__m,s__interestEarned__m)	FinancialOntology.kif 505-505	simple interest is a subrelation of interest earned
s__termFormat(s__ChineseLanguage,s__interestEarned__m,'"利息收入"')	domainEnglishFormat.kif 30307-30307
s__termFormat(s__ChineseTraditionalLanguage,s__interestEarned__m,'"利息收入"')	domainEnglishFormat.kif 30306-30306
s__termFormat(s__EnglishLanguage,s__interestEarned__m,'"interest earned"')	domainEnglishFormat.kif 30305-30305

antecedent

( ! [V__Amount,V__Loan] : (s__instance(V__Amount,s__Interest) => (( ? [V__Period] : ((s__instance(V__Period,s__TimeInterval) & (s__instance(V__Loan,s__Loan) & s__agreementPeriod(V__Loan,V__Period) & s__interestEarned(V__Loan,V__Amount,V__Period))))) => s__loanInterest(V__Loan,V__Amount)) & (s__loanInterest(V__Loan,V__Amount) => ( ? [V__Period] : ((s__instance(V__Period,s__TimeInterval) & (s__instance(V__Loan,s__Loan) & s__agreementPeriod(V__Loan,V__Period) & s__interestEarned(V__Loan,V__Amount,V__Period)))))) ) )	FinancialOntology.kif 3762-3768	There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan
( ! [V__Lender,V__Period,V__Loan,V__Interest,V__Borrower] : ((s__instance(V__Lender,s__CognitiveAgent) & s__instance(V__Period,s__TimeInterval) & s__instance(V__Loan,s__Loan) & s__instance(V__Interest,s__Interest) & s__instance(V__Borrower,s__CognitiveAgent)) => (s__borrower(V__Loan,V__Borrower) & s__lender(V__Loan,V__Lender) & s__agreementPeriod(V__Loan,V__Period) & s__interestEarned(V__Loan,V__Interest,V__Period)) => ( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__origin(V__Payment,V__Borrower) & s__transactionAmount(V__Payment,V__Interest) & s__destination(V__Payment,V__Lender))))) ) )	FinancialOntology.kif 1202-1212	If a loan is the borrower of a cognitive agent and another cognitive agent lends 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, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the other cognitive agent
( ! [V__Period,V__Agent,V__Interest,V__Account,V__Organization] : ((s__instance(V__Period,s__TimeInterval) & s__instance(V__Agent,s__CognitiveAgent) & s__instance(V__Interest,s__Interest) & s__instance(V__Organization,s__FinancialOrganization)) => (s__instance(V__Account,s__CreditAccount) & s__accountAt(V__Account,V__Organization) & s__accountHolder(V__Account,V__Agent) & s__interestEarned(V__Account,V__Interest,V__Period)) => ( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__origin(V__Payment,V__Agent) & s__transactionAmount(V__Payment,V__Interest) & s__destination(V__Payment,V__Organization))))) ) )	FinancialOntology.kif 1153-1163	If a financial account is an instance of credit account and the financial account is held by a financial organization and a cognitive agent holds account the financial account and the financial account is interest earned an interest for a time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the financial organization
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
( ! [V__Period,V__Agent,V__Interest,V__Account] : ((s__instance(V__Period,s__TimeInterval) & s__instance(V__Agent,s__CognitiveAgent) & s__instance(V__Interest,s__Interest)) => (s__instance(V__Account,s__SavingsAccount) & s__accountHolder(V__Account,V__Agent) & s__interestEarned(V__Account,V__Interest,V__Period)) => ( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__destination(V__Payment,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Payment,V__Interest) & s__destination(V__Payment,V__Agent))))) ) )	FinancialOntology.kif 987-996	If a financial account is an instance of savings account and a cognitive agent holds account the financial account and the financial account is interest earned an interest for a time interval, then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the cognitive agent
( ! [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__CurrencyMeasure) & s__instance(V__BondHolder,s__Agent) & s__instance(V__Date,s__Day) & s__instance(V__Interest,s__Interest) & 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 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
( ! [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 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

consequent

( ! [V__Amount,V__Period,V__Loan] : ((s__instance(V__Amount,s__Interest) & s__instance(V__Period,s__TimeInterval) & s__instance(V__Loan,s__Loan)) => (s__loanFeeAmount(V__Loan,V__Amount) & s__agreementPeriod(V__Loan,V__Period)) => s__interestEarned(V__Loan,V__Amount,V__Period) ) )	FinancialOntology.kif 4005-4009	If an interest is a loan fee amount of a loan and a time interval is an agreement period of the loan, then the loan is interest earned the interest for the time interval
( ! [V__Period,V__Interest,V__Account,V__Statement] : ((s__instance(V__Period,s__TimeInterval) & s__instance(V__Interest,s__Interest) & s__instance(V__Account,s__FinancialAccount) & s__instance(V__Statement,s__BankStatement)) => (s__statementInterest(V__Statement,V__Interest) & s__statementPeriod(V__Statement,V__Period) & s__statementAccount(V__Statement,V__Account)) => s__interestEarned(V__Account,V__Interest,V__Period) ) )	FinancialOntology.kif 3925-3930	If an interest is a statement interest of a bank statement and a time interval is a statement period of the bank statement and a financial account is a statement account of the bank statement, then the financial account is interest earned the interest 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