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 287-288
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 285-285	域貨幣, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 284-284	例貨幣 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 286-286	範圍貨幣 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 18105-18105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18104-18104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18103-18103

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1835-1845	例 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 1145-1158	例金融賬戶 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 1255-1263	例金融賬戶 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 761-777	例責任賬戶 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 1035-1043	例金融賬戶 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 1117-1126	例金融賬戶 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 1089-1101	例金融賬戶 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 438-455	例 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 410-426	例 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 3856-3870	例 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 122-137	貨幣價值 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 836-844	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 657-669	金融賬戶對於 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 809-818	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 688-701	例金融賬戶 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 703-716	例金融賬戶 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 761-777	例責任賬戶 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 1045-1054	例金融賬戶 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 1117-1126	例金融賬戶 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 1089-1101	例金融賬戶 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 342-353	例 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 1427-1437	例貸款 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 1465-1482	例 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 3903-3913	例銀行對帳單 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 122-137	貨幣價值 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 433-436	例 Process and 存款金融賬戶目的地 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1539-1548	例金融賬戶 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 461-466	例 Process and 退出金融賬戶例金融賬戶 and 金融賬戶起源 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 744-752	金融賬戶是對於 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