Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStates

Sigma KEE - UnitedStates
UnitedStates(美國)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 481-481 主席 美國 的州類別的 chief
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1376-1376
No TPTP formula. May not be expressible in strict first order. Economy.kif 562-562 發達經濟美國economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 180-180 發達國家美國economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 814-814
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 405-405 美國北美geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 406-406 美國 and Nation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1050-1050 美國華盛頓特區美國capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3726-3726 美國薩摩亞美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3734-3734 貝克島美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3784-3784 關島美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3791-3791 Howland島美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3797-3797 賈維斯島美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3801-3801 約翰斯頓環礁美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3805-3805 金曼礁美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3813-3813 中途島嶼美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3817-3817 納瓦薩島美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3827-3827 北馬里亞納群島美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3829-3829 巴爾米拉環礁美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3833-3833 波多黎各美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3850-3850 USVirginIslands美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3853-3853 甦醒島美國dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2719-2719 芝加哥美國美國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2843-2843 佛羅里達美國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3138-3138 洛杉磯加利福尼亞州美國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3141-3141 洛杉磯國際機場美國美國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1051-1051 新澤西州美國美國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1057-1057 紐約市美國美國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1055-1055 紐約州美國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3458-3458 薩克拉門托美國美國geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1116-1116 德州美國geographic 次要地區

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. Media.kif 2773-2773 "US" 在 ISO-3166-1-alpha-2 denotes 美國

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4676-4676 南部海洋 comparative 地區 比較多 對於 2.0 跟 美國 在一起

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 257-264
No TPTP formula. May not be expressible in strict first order. naics.kif 8184-8197
No TPTP formula. May not be expressible in strict first order. naics.kif 8207-8225
No TPTP formula. May not be expressible in strict first order. Government.kif 1503-1505
No TPTP formula. May not be expressible in strict first order. Government.kif 515-517
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 39-41
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 25-27
No TPTP formula. May not be expressible in strict first order. Media.kif 2614-2616

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6976-6976 等於 美國國家 and StateOrProvince 所有的 instances美國
No TPTP formula. May not be expressible in strict first order. Government.kif 4828-4828 子組織 國土安全部 and 政府 美國
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1283-1283 子組織 USFoodAndDrugAdministration and 政府 美國
No TPTP formula. May not be expressible in strict first order. Government.kif 2391-2391 子組織 美國國務院 and 政府 美國
No TPTP formula. May not be expressible in strict first order. Government.kif 1949-1949 子組織 美國國會 and 政府 美國
No TPTP formula. May not be expressible in strict first order. Government.kif 4855-4855 子組織 美國內政部 and 政府 美國
No TPTP formula. May not be expressible in strict first order. Government.kif 4850-4850 子組織 美國國務院 and 政府 美國


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