AccountFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AccountFn

AccountFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2332-2333
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2330-2330	域帳戶, 1 and 金融資產
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2329-2329	例帳戶 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2331-2331	範圍帳戶 and 金融賬戶

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36-36
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35-35
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34-34
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5253-5253
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5252-5252
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5251-5251

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2335-2340	例金融賬戶 and 金融賬戶擁有 CognitiveAgent and 金融資產等於金融賬戶 and 金融資產的帳號 CognitiveAgent 持有 account 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2503-2508	例鍵 and 可贖回的債券鍵的帳號對於 %3 的 current 帳戶存款 Day 是鍵的 call 日期鍵的帳號對於 Day 到期的 amount CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2347-2369	例金融資產 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 總額

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2284-2292	例鍵 and 鍵利益是鍵的 coupon 利息擁有鍵Holder and 鍵 TimeDuration Process 鍵的帳號是對於 TimeDuration 的 periodic 費用利益目的地 Process and 鍵Holder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2503-2508	例鍵 and 可贖回的債券鍵的帳號對於 %3 的 current 帳戶存款 Day 是鍵的 call 日期鍵的帳號對於 Day 到期的 amount CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2347-2369	例金融資產 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 總額

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