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


KB Term:  Term intersection
English Word: 

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
-------------------------


(geographicSubregion UnitedStates NorthAmerica) CountriesAndRegions.kif 405-405 United states is a geographic subregion of north america
(instance UnitedStates Nation) CountriesAndRegions.kif 406-406 United states is an instance of nation
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.") CountriesAndRegions.kif 1376-1376 United states is an instance of nation
(economyType UnitedStates DevelopedCountry) Economy.kif 180-180 Developed country is an economy type of united states
(economyType UnitedStates AdvancedEconomy) Economy.kif 562-562 Advanced economy is an economy type of united states

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


(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 22477-22477 Alligator inhabits united states
(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4387-4387 The headquarters of General Motors is in united states
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4468-4468 The headquarters of Harley Davidson is in united states
(part NewEngland UnitedStates) CountriesAndRegions.kif 30-30 New england is a part of united states
(meetsSpatially Canada UnitedStates) CountriesAndRegions.kif 410-410 Canada meets united states
(part MississippiRiver UnitedStates) CountriesAndRegions.kif 740-740 Mississippi river is a part of united states
(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 United states is a capital city of washingtonDC united states
(geographicSubregion NewJersey UnitedStates) CountriesAndRegions.kif 1051-1051 New jersey united states is a geographic subregion of united states
(geographicSubregion NewYorkState UnitedStates) CountriesAndRegions.kif 1055-1055 New york state is a geographic subregion of united states
(geographicSubregion NewYorkCityUnitedStates UnitedStates) CountriesAndRegions.kif 1057-1057 New york city united states is a geographic subregion of united states
(geographicSubregion Texas UnitedStates) CountriesAndRegions.kif 1116-1116 Texas is a geographic subregion of united states
(part PuertoRico UnitedStates) CountriesAndRegions.kif 1160-1160 Puerto rico is a part of united states
(meetsSpatially Mexico UnitedStates) CountriesAndRegions.kif 1294-1294 Mexico meets united states
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2727-2727 Chicago united states is a geographic subregion of united states
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2849-2849 Florida is a geographic subregion of united states
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3142-3142 Los angeles california is a geographic subregion of united states
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3145-3145 Los angeles international airport united states is a geographic subregion of united states
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3459-3459 Sacramento united states is a geographic subregion of united states
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3726-3726 American samoa is a dependent of united states
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3734-3734 Baker island is a dependent of united states
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3784-3784 Guam is a dependent of united states
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3791-3791 Howland island is a dependent of united states
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3797-3797 Jarvis island is a dependent of united states
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3801-3801 Johnston atoll is a dependent of united states
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3805-3805 Kingman reef is a dependent of united states

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) Geography.kif 6218-6218 Southern ocean comparative area greater than for 2.0 with united states

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


(=>
    (instance ?STATE AmericanState)
    (part ?STATE UnitedStates))		 CountriesAndRegions.kif 25-27 If X is an instance of american state, then X is a part of united states
(=>
    (instance ?CITY AmericanCity)
    (part ?CITY UnitedStates))		 CountriesAndRegions.kif 39-41 If X is an instance of american city, then X is a part of united states
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))		 Government.kif 479-481 If X is an instance of unincorporated united states territory, then X dependent area of type united states for overseas area
(=>
    (attribute ?H PresidentOfTheUnitedStates)
    (leader ?H UnitedStates))		 Government.kif 1474-1476 If president of the united states is an attribute of X, then united states is a leader of X

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


(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))		 Geography.kif 8640-8640 equal american state and all the instances of state or province in united states
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))		 Government.kif 1920-1920 United states congress is a part of the organization the government of united states
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))		 Government.kif 2361-2361 US state department is a part of the organization the government of united states
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))		 Government.kif 4820-4820 Department of homeland security is a part of the organization the government of united states
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))		 Government.kif 4842-4842 United states department of state is a part of the organization the government of united states
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))		 Government.kif 4847-4847 United states department of interior is a part of the organization the government of united states


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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners