TreeView Knowledge Base Browser - UnitedStatesDollar

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	美国美元是 UnitOfCurrency 的 instance

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 帐户存款和实数是 lessThan 0 和另一个实数 equal (0 和那个实数)，然后那个金融账户是对于日的 overdraft 那个另外实数美国美元
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2208-2212	如果客体是便士股票的 instance 和施事体为了那个客体 asks 实数美国美元，然后那个实数是 lessThan 5

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3648-3650	有点时距是货币测量的 currency 交换每美元若且唯若美国美元对于有点时距在周期那个货币测量的 currency 交换汇率
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3661-3666	有点时距是货币测量的 currency 交换每美元若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是美国美元的 currency 交换汇率在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	如果金融账户对于 %3 的 current 帐户存款和实数是 lessThan 0 和另一个实数 equal (0 和那个实数)，然后那个金融账户是对于日的 overdraft 那个另外实数美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	如果有点物理是 free 对于顾客出租有点 HotelFunctionRoom 和实体是有点 HotelFunctionRoom 的 instance 和那个实体是施事体的财产的 element 和过程是租的 instance 和那个实体是那个过程的 patient 和那个过程在有认知的主事结束和客体是有点物理的 instance 和那个施事体 possesses 那个客体和那个施事体是那个有认知的主事的 customer 和那个客体是过程的 instance 和那个有认知的主事是那个客体的 agent 或那个有认知的主事经历了那个客体或那个施事体 possesses 那个客体和那个客体是客体的 instance 和那个有认知的主事 uses 那个客体，然后那个客体是对于那个施事体的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	如果有点物理的使用是对于施事体免费和过程是有点物理的 instance 和那个施事体是有认知的主事的 customer 和那个过程是过程的 instance 和那个有认知的主事是那个过程的 agent 或那个有认知的主事经历了那个过程或那个施事体 possesses 那个过程和那个过程是客体的 instance 和那个有认知的主事 uses 那个过程，然后那个过程是对于那个施事体的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是客体的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和客体是那个有点物理的 instance 和那个客体是 located 在那个暂住和过程是过程的 instance 和那个人类是那个过程的 agent 和那个客体是那个过程的 patient 或那个客体是导致那个过程的 instrument 或那个客体是那个过程的 resource，然后那个客体是对于那个人类的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是过程的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和那个人类是过程的 patient 和那个过程是那个有点物理的 instance 或另一个过程是那个有点物理的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程是 located 在那个暂住，然后那个过程是对于那个人类的 price 0.0 美国美元
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	如果时距是时距的 instance 和低收入国家是地缘政治区域的 economy 类别在那个时距 holdsDuring，然后有存在实数这样那个地缘政治区域是对于那个时距在周期那个实数美国美元的 per 人头 GDP 和那个实数是 lessThan 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	如果时距是时距的 instance 和中低收入国家是地缘政治区域的 economy 类别在那个时距 holdsDuring，然后有存在实数这样那个地缘政治区域是对于那个时距在周期那个实数美国美元的 per 人头 GDP 和那个实数是 greaterThanOrEqualTo 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	如果时距是时距的 instance 和中低收入国家是地缘政治区域的 economy 类别在那个时距 holdsDuring，然后有存在实数这样那个地缘政治区域是对于那个时距在周期那个实数美国美元的 per 人头 GDP 和那个实数是 lessThan 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	如果时距是时距的 instance 和中上收入国家是地缘政治区域的 economy 类别在那个时距 holdsDuring，然后有存在实数这样那个地缘政治区域是对于那个时距在周期那个实数美国美元的 per 人头 GDP 和那个实数是 greaterThanOrEqualTo 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 490-497	如果时距是时距的 instance 和中上收入国家是地缘政治区域的 economy 类别在那个时距 holdsDuring，然后有存在实数这样那个地缘政治区域是对于那个时距在周期那个实数美国美元的 per 人头 GDP 和那个实数是 lessThan 9267.0

statement

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

Merge.kif 7391-7393

实数美国分 equal 那个实数和 0.01 美国美元

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: