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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 美国国家 equal 州或省 所有的 instances 在 美国
No TPTP formula. May not be expressible in strict first order. Government.kif 4828-4828 国土安全部 是 美国 的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1283-1283 USFoodAndDrugAdministration 是 美国 的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 2391-2391 美国国务院 是 美国 的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 1949-1949 美国国会 是 美国 的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 4855-4855 美国内政部 是 美国 的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 4850-4850 美国国务院 是 美国 的 Government Organization 的一部分


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