UnitOfCurrency - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2422-2423
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6310-6311
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1110-1112
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6308-6308	子類 UnitOfCurrency and NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2883-2883	例阿富汗阿富汗尼 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2943-2943	例阿爾巴尼亞列克 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2947-2947	例阿爾及利亞第納爾 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2951-2951	例安哥拉寬扎 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2955-2955	例阿根廷南部 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2959-2959	例亞美尼亞德拉姆 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2963-2963	例澳元 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2967-2967	例奧地利先令 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2971-2971	例阿塞拜疆馬納特 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2975-2975	例巴哈馬元 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2979-2979	例 bahraini第納爾 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2983-2983	例孟加拉國塔卡 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2987-2987	例巴巴多斯元 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2991-2991	例白俄羅斯語rubel and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2995-2995	例比利時法郎 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2999-2999	例伯利茲美元 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3003-3003	例貝寧法郎 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3007-3007	例百慕大元 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3011-3011	例不丹ngultrum and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3015-3015	例玻利維亞玻利維亞諾 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3019-3019	例博茨瓦納普拉 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3023-3023	例巴西真實 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2886-2886	例英鎊 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3027-3027	例文萊美元 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3031-3031	例保加利亞列弗 and UnitOfCurrency

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3615-3615	域貨幣代碼, 2 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3653-3653	域匯率, 1 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3639-3639	域期間貨幣匯率, 1 and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2873-2873	域貨幣類型, 2 and UnitOfCurrency

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Selling 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於安全例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6388-6392	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfCurrency 例 PhysicalQuantity and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	例 Process and Auctioning 例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 Object and Object 例 UnitOfMeasure and UnitOfCurrency 患者 Process and Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object 比較多 RealNumber and RealNumber 目的地 Process and AutonomousAgent
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 3234-3250	例 Process and 打勾患者 Process and Physical 等於何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易患者 Process and Physical 等於何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	例金融賬戶 and 利潤分享計劃 CognitiveAgent 持有 account 金融賬戶採用 AutonomousAgent and CognitiveAgent 從 FinancialTransaction 的 profit 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency agent FinancialTransaction and AutonomousAgent RealNumber RealNumberAY 例 RealNumberAY and FinancialTransaction 測量 RealNumber and UnitOfMeasure 是 RealNumberAY 的 transaction 總額少於 RealNumber and RealNumber 目的地 RealNumberAY and 金融賬戶
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 3815-3827	例 FinancialTransaction and FinancialTransaction 起源 FinancialTransaction and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額例 UnitOfMeasure and UnitOfCurrency 日期 FinancialTransaction and Day RealNumber 金融賬戶在 Day 的 available balance 是測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 415-423	例 UnitOfMeasure and UnitOfCurrency Auctioning 的 reserve price 是測量 RealNumber and UnitOfMeasure 目的地 Auctioning and AutonomousAgent RealNumber Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3212-3228	例 Process and 上揚患者 Process and Physical 等於何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易患者 Process and Physical 等於何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	CognitiveAgent sells Entity 對於測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是測量 RealNumber and UnitOfMeasure PricingScheme 是 valid 對於 AutonomousAgent 例 Entity and Entity 例 Process and Buying 立即實例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent 起源 Process and CognitiveAgent 少於 RealNumber and RealNumber 模態屬性 RealNumber 是 Process 的 transaction 總額 and 容易

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	attribute AutonomousAgent and 穆斯林等於財富 AutonomousAgent and CurrencyMeasure 模態屬性 entity entity, entity, entity and entity 例 entity and 天課例 entity and 年期間 entity and 何時 AutonomousAgent 持有期間 entity and attribute AutonomousAgent and 完全成型 agent entity and AutonomousAgent 患者 entity and entity 貨幣價值 entity and 測量 entity and entity 例 entity and UnitOfCurrency 比較多 entity and 乘法 CurrencyMeasure and 0.025 and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23828-23845	例 Process and 保存患者 Process and Object agent Process and AutonomousAgent RealNumber RealNumber and Entity 例 Entity and UnitOfCurrency 持有期間開始何時 Process and 貨幣價值 Object and 測量 RealNumber and Entity 持有期間結束何時 Process and 貨幣價值 Object and 測量 RealNumber and Entity 擁有 AutonomousAgent and Object 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7848-7862	例 Process and 廉價出售患者 Process and Entity 例 Entity and Object RealNumber RealNumber, entity, entity and Entity 例 Entity and UnitOfCurrency 持有期間不久的過去何時 Process and Entity 是對於 entity 的 price 測量 RealNumber and Entity 持有期間何時 Process and Entity 是對於 entity 的 price 測量 RealNumber and Entity 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	HotelFunctionRoom 的承租人能 pay 去使用 Physical 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent RealNumber UnitOfMeasure Object 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	AutonomousAgent 的承租人能 pay 去使用 Physical 例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent RealNumber UnitOfMeasure Process 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 位於 Process and 暫住患者 Process and Object 儀器 Process and Object 資源 Process and Object ProcessRICE UnitOfMeasure Object 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 ProcessRICE UnitOfMeasure Process 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3119-3143	例 Process and 蝴蝶傳播金融工具金融工具, 金融工具, 金融工具, RealNumber, RealNumber, RealNumber, RealNumber and UnitOfMeasure 例金融工具 and 看漲期權例金融工具 and 看漲期權例金融工具 and 看漲期權例金融工具 and 看漲期權子過程金融工具 and Process 子過程金融工具 and Process 子過程金融工具 and Process 子過程金融工具 and Process 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是金融工具的 strike 價錢測量 RealNumber and UnitOfMeasure 是金融工具的 strike 價錢測量 RealNumber and UnitOfMeasure 是金融工具的 strike 價錢測量 RealNumber and UnitOfMeasure 是金融工具的 strike 價錢少於 RealNumber and RealNumber 少於 RealNumber and RealNumber 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber

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

KB Term:			Term intersection

English Word: