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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStates

Sigma KEE - UnitedStates
UnitedStates(united states)
America, American, Appalachian, Asian_American, Bostonian, Garden_Stater, Marylander, New_Jerseyan, New_Jerseyite, New_Mexican, Oklahoman, Sooner, U.S., U.S.A., US, USA, United_States, United_States_of_America, the_States

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 481-481 President is a chief of state type of united states
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 557-557 Advanced economy is an economy type of united states
No TPTP formula. May not be expressible in strict first order. Economy.kif 180-180 Developed country is an economy type of united states
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 United states is a geographic subregion of north america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 406-406 United states is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1050-1050 United states is a capital city of washingtonDC united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3726-3726 American samoa is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3734-3734 Baker island is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3784-3784 Guam is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3791-3791 Howland island is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3797-3797 Jarvis island is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3801-3801 Johnston atoll is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3805-3805 Kingman reef is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3813-3813 Midway islands is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3817-3817 Navassa island is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3827-3827 Northern mariana islands is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3829-3829 Palmyra atoll is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3833-3833 Puerto rico is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3850-3850 USVirginIslands is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3853-3853 Wake island is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2719-2719 Chicago united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2843-2843 Florida is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3138-3138 Los angeles california is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3141-3141 Los angeles international airport united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1051-1051 New jersey united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1057-1057 New york city united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1055-1055 New york state is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3458-3458 Sacramento united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1116-1116 Texas is a geographic subregion of united states

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 2761-2761 "US" in ISO-3166-1-alpha-2 denotes united states

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4575-4575 Southern ocean comparative area greater than for 2.0 with united states

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 1500-1502
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 2602-2604

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6664-6664 American state is equal to all the instances of state or province in united states
No TPTP formula. May not be expressible in strict first order. Government.kif 4820-4820 Department of homeland security is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 792-792 USFoodAndDrugAdministration is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 2388-2388 US state department is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 1946-1946 United states congress is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 4847-4847 United states department of interior is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 4842-4842 United states department of state is a part of the organization the government of united states


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