Deposit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Deposit

Deposit(存款)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 427-427	不相交的存款 and 退出
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 428-429	不相交的存款 and 退出
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9139-9139	不相交的存款 and 退出
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9140-9140	不相交的存款 and 退出
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8447-8447	不相交的存款 and 退出
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 426-426	子類存款 and FinancialTransaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19155-19155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19154-19154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19153-19153

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	例 FinancialTransaction and 存款例金融賬戶 and 金融賬戶目的地 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 加成 RealNumber and RealNumber 金融賬戶對於 %3 的 current 帳戶存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 431-434	例 Process and 存款金融賬戶目的地 Process and 金融賬戶的 currency

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 340-351	例 Process and 存款支票患者 Process and 校驗例校驗 and 校驗金融賬戶是校驗的 check 帳戶貨幣價值校驗 and CurrencyMeasure FinancialTransaction 例 FinancialTransaction and 存款目的地 FinancialTransaction and 金融賬戶的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	貨幣價值 Object and CurrencyMeasure 例 Process and 處理檢查患者 Process and Object 目的地 Process and 金融賬戶的 currency 例金融賬戶 and 金融賬戶等於何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 存款儀器 FinancialTransaction and Object 等於何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and 金融賬戶的 currency

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