CurrencyFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CurrencyFn

CurrencyFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 285-286
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 283-283	域貨幣, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 282-282	例貨幣 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 284-284	範圍貨幣 and 金融工具

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 608-608
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 607-607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 606-606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18090-18090
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18089-18089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18088-18088

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	例 Process and 退出例金融賬戶 and 金融賬戶起源 Process and 金融賬戶的 currency Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process 金融賬戶的 liqudity 是高流動性
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1129-1142	例金融賬戶 and 支票賬戶例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency Object 例 Object and 校驗儀器 Process and Object Object 例 Object and 金融卡儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1239-1247	例金融賬戶 and 信用卡帳戶例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency Object 例 Object and 信用卡儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	例責任賬戶 and 責任賬戶責任賬戶是對於月持續時間的 minimum 費用測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Process TimeInterval 例 TimeInterval and Month 目的地 Process and 責任賬戶的 currency 責任賬戶 payments 對於 TimeInterval 每周期測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber Process 例 Process and 罰款目的地 Process and 責任賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1033-1041	例金融賬戶 and 儲蓄賬戶例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency Process 例 Process and 交易授權子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	例金融賬戶 and 傳統儲蓄賬戶例 Process and 退出起源 Process and 金融賬戶的 currency Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	例金融賬戶 and 存款證 Day 是金融賬戶的 maturity 日期例 Process and 退出起源 Process and 金融賬戶的 currency 日期 Process and Day 之前結束 Day and 開始 Day Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process
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 408-424	例 FinancialTransaction and 付款起源 FinancialTransaction and 金融賬戶的 currency 例金融賬戶 and 金融賬戶測量 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 3838-3852	例 FinancialTransaction and FinancialTransaction 起源 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額例 UnitOfMeasure and UnitOfCurrency 例 Entity and 貨幣患者 FinancialTransaction and Entity 日期 FinancialTransaction and Day RealNumber 金融賬戶在 Day 的 available cash 是測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber
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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	CurrencyMeasure 是 FinancialTransaction 的 transaction 總額日期 FinancialTransaction and Day 例金融賬戶 and 金融賬戶目的地 FinancialTransaction and 金融賬戶的 currency 金融賬戶對於 TimeInterval 到期的 amount CurrencyMeasure 之前結束 Day and 開始 TimeInterval 例 FinancialTransaction and 預付款

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	金融賬戶對於 TimePosition 到期的 amount CurrencyMeasure CognitiveAgent 持有 account 金融賬戶持有義務卡帕 SymbolicString and 例 SymbolicString and 付款 CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 金融賬戶的 currency 起源 SymbolicString and 金融賬戶的 currency 日期 SymbolicString and entity 之前或相等結束 entity and 開始 TimePosition and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 807-816	CurrencyMeasure 是貸款的 down 費用 TimePoint 是貸款的 agreement 生效日期 FinancialTransaction CurrencyMeasure 是 FinancialTransaction 的 transaction 總額日期 FinancialTransaction and TimePoint 目的地 FinancialTransaction and 貸款的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	例金融賬戶 and 金融賬戶金融賬戶是對於測量 RealNumber and UnitOfMeasure 的 minimum 金額開戶例 UnitOfMeasure and UnitOfCurrency FinancialTransaction TimePoint and RealNumber 目的地 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額大於或等於 RealNumber and RealNumber TimePoint 是金融賬戶的 agreement 生效日期日期 FinancialTransaction and TimePoint
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	例金融賬戶 and 金融賬戶金融賬戶是對於測量 RealNumber and UnitOfMeasure 的 minimum 金額使用帳戶例 UnitOfMeasure and UnitOfCurrency 金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and RealNumber Process 例 Process and 罰款日期 Process and Day 目的地 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	例責任賬戶 and 責任賬戶責任賬戶是對於月持續時間的 minimum 費用測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Process TimeInterval 例 TimeInterval and Month 目的地 Process and 責任賬戶的 currency 責任賬戶 payments 對於 TimeInterval 每周期測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber Process 例 Process and 罰款目的地 Process and 責任賬戶的 currency
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 1115-1124	例金融賬戶 and 傳統儲蓄賬戶例 Process and 退出起源 Process and 金融賬戶的 currency Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	例金融賬戶 and 存款證 Day 是金融賬戶的 maturity 日期例 Process and 退出起源 Process and 金融賬戶的 currency 日期 Process and Day 之前結束 Day and 開始 Day Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process
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 1411-1421	例貸款 and 氣球貸款 Day 是貸款的 maturity 日期 CurrencyMeasure 是貸款的 total 存款貸款是 CognitiveAgent 的 borrower 持有義務卡帕 SymbolicString and 日期 SymbolicString and Day CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 貸款的 currency and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	例 Process and 再融資時間 Process and Day 例貸款 and 貸款抵押是貸款的 secured 貸款是 CognitiveAgent 的 borrower 貸款對於 %3 的 current 帳戶存款患者 Process and 貸款貸款 FinancialTransaction 例貸款 and 貸款貸款是 CognitiveAgent 的 borrower 抵押是貸款的 secured 目的地 FinancialTransaction and 貸款的 currency 時間 FinancialTransaction and Day 起源 FinancialTransaction and 貸款的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3885-3895	例銀行對帳單 and 銀行對帳單金融賬戶是銀行對帳單的 statement 帳號 Process 例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency 目的地 Process and 金融賬戶的 currency 實現銀行對帳單 and Process
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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 431-434	例 Process and 存款金融賬戶目的地 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1523-1532	例金融賬戶 and 合併貸款金融賬戶1 金融賬戶2, Process and Process 例金融賬戶1 and 貸款例金融賬戶2 and 貸款目的地 Process and 金融賬戶1 的 currency 目的地 Process and 金融賬戶2 的 currency 起源 Process and 金融賬戶的 currency 起源 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 459-464	例 Process and 退出金融賬戶例金融賬戶 and 金融賬戶起源 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 742-750	金融賬戶是對於 TimeDuration 的 periodic 費用 CurrencyMeasure FinancialTransaction Process 例 FinancialTransaction and 付款起源 FinancialTransaction and 金融賬戶的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額例 FinancialTransaction and Process 頻率 Process and TimeDuration

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