UnitedStatesDollar - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2619-2619
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7384-7384
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1333-1333
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4419-4419
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4418-4418
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4417-4417
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7383-7383	例美國美元 and UnitOfCurrency

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2941-2941	美國美元是美國美元的鈔票的 currency 價值
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60380-60380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60379-60379
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60378-60378

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2311-2311

"USD" 在 ISO-4217-A denotes 美國美元

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and 0 等於 RealNumber and 減法 0 and RealNumber 金融賬戶是對於 Day 的 overdraft 測量 RealNumber and 美國美元
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2208-2212	例 Object and 便士股票 AutonomousAgent 為了 Object asks 測量 RealNumber and 美國美元少於 RealNumber and 5

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3648-3650	TimeInterval 是 CurrencyMeasure 的 currency 交換每美元美國美元對於 TimeInterval 在週期 CurrencyMeasure 的 currency 交換匯率
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3661-3666	TimeInterval 是 CurrencyMeasure 的 currency 交換每美元 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是美國美元的 currency 交換匯率
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and 0 等於 RealNumber and 減法 0 and RealNumber 金融賬戶是對於 Day 的 overdraft 測量 RealNumber and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	Physical 是 free 對於顧客出租 HotelFunctionRoom 例 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 Object 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	Physical 的使用是對於 AutonomousAgent 免費例 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 Process 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	Physical 的使用對於 HotelUnit 是免費子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Object 是對於 Human 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	Physical 的使用對於 HotelUnit 是免費子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 Process 是對於 Human 的 price 測量 0.0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 少於 RealNumber and 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 大於或等於 RealNumber and 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 少於 RealNumber and 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中上收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 大於或等於 RealNumber and 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 490-497	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中上收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 少於 RealNumber and 9267.0

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 7391-7393

等於測量 RealNumber and 美國分 and 測量乘法 RealNumber and 0.01 and 美國美元

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: