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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 525-527
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 522-522	域利息收入, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 523-523	域利息收入, 2 and 利益
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 524-524	域利息收入, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 521-521	例利息收入 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1361-1361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1360-1360
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1359-1359
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 551-551	子關係複利 and 利息收入
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 530-530	子關係單純的興趣 and 利息收入
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30409-30409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30408-30408
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30407-30407

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3920-3926	TimeInterval 例貸款 and 貸款 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest 利益是貸款的 loan 利息
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1261-1271	貸款是 CognitiveAgent 的 borrower CognitiveAgent lends 貸款 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest FinancialTransaction 起源 FinancialTransaction and CognitiveAgent 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1212-1222	例金融賬戶 and 信用賬戶金融賬戶是被金融機構 held CognitiveAgent 持有 account 金融賬戶金融賬戶是對於 %3 的賺取 interest FinancialTransaction 起源 FinancialTransaction and CognitiveAgent 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and 金融機構
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1224-1233	例金融賬戶 and 信用賬戶 CognitiveAgent 持有 account 金融賬戶 RealNumber 是金融賬戶的 principal 總額 TimeInterval 是金融賬戶的 agreement 週期金融賬戶是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and 利益持有義務卡帕 SymbolicString and RealNumber 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1273-1282	例貸款 and 貸款貸款是 CognitiveAgent 的 borrower RealNumber 是貸款的 principal 總額 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and 利益持有義務卡帕 SymbolicString and RealNumber 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1043-1052	例金融賬戶 and 儲蓄賬戶 CognitiveAgent 持有 account 金融賬戶金融賬戶是對於 %3 的賺取 interest FinancialTransaction 目的地 FinancialTransaction and 金融賬戶的 currency 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	例金融資產 and 零息債券 Day 是金融資產的帳號的 maturity 日期擁有金融資產Holder and 金融資產測量 RealNumber and UnitOfMeasure 是金融資產的帳號的 principal 總額 TimeInterval 是金融資產的帳號的 agreement 週期金融資產的帳號是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款目的地 FinancialTransaction and 金融資產Holder 起源 FinancialTransaction and 金融資產的帳號測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1615-1624	例金融賬戶 and 僅利息貸款 TimeInterval 是金融賬戶的 agreement 週期 CurrencyMeasure 是金融賬戶的 principal 總額金融賬戶是對於 %3 的賺取 interest 金融賬戶對於結束 TimeInterval 到期的 amount CurrencyMeasure 金融賬戶對於 TimeInterval 到期的 amount 利益之前結束 TimeInterval and 結束 TimeInterval

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4162-4166	利益是貸款的 loan 金額 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4082-4087	利益是銀行對帳單的 statement 利息 TimeInterval 是銀行對帳單的 statement 週期金融賬戶是銀行對帳單的 statement 帳號金融賬戶是對於 %3 的賺取 interest

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