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


(chiefOfStateType UnitedStates President) MilitaryPersons.kif 481-481 President is a chief of state type of united states
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.") CountriesAndRegions.kif 1376-1376
(economyType UnitedStates AdvancedEconomy) Economy.kif 557-557 Advanced economy is an economy type of united states
(economyType UnitedStates DevelopedCountry) Economy.kif 180-180 Developed country is an economy type of united states
(externalImage UnitedStates "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ U/ United_States.png") pictureList.kif 814-814
(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

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


(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 United states is a capital city of washingtonDC 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
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3813-3813 Midway islands is a dependent of united states
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3817-3817 Navassa island is a dependent of united states
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3827-3827 Northern mariana islands is a dependent of united states
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3829-3829 Palmyra atoll is a dependent of united states
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3833-3833 Puerto rico is a dependent of united states
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3850-3850 USVirginIslands is a dependent of united states
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3853-3853 Wake island is a dependent of united states
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2719-2719 Chicago united states is a geographic subregion of united states
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2843-2843 Florida is a geographic subregion of united states
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3138-3138 Los angeles california is a geographic subregion of united states
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3141-3141 Los angeles international airport united states is a geographic subregion of united states
(geographicSubregion NewJersey UnitedStates) CountriesAndRegions.kif 1051-1051 New jersey united states 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 NewYorkState UnitedStates) CountriesAndRegions.kif 1055-1055 New york state is a geographic subregion of united states
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3458-3458 Sacramento united states is a geographic subregion of united states
(geographicSubregion Texas UnitedStates) 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
-------------------------


(codeMapping ISO-3166-1-alpha-2 "US" UnitedStates) Media.kif 2761-2761 "US" in ISO-3166-1-alpha-2 denotes united states

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


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

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


(=>
    (and
        (instance ?ATTR USMilitaryRank)
        (attribute ?PERSON ?ATTR))
    (exists (?MO)
        (and
            (member ?PERSON ?MO)
            (militaryOfArea ?MO UnitedStates))))
Military.kif 257-264
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesFreightTransportation))
    (exists (?FREIGHT ?SHIP ?WATER)
        (and
            (subProcess ?FREIGHT ?X)
            (instance ?FREIGHT WaterTransportation)
            (instrument ?FREIGHT ?SHIP)
            (instance ?SHIP CargoShip)
            (eventLocated ?FREIGHT ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates))))
naics.kif 8184-8197
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesPassengerTransportation))
    (exists (?CRUISE ?SHIP ?WATER)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))
naics.kif 8207-8225
(=>
    (attribute ?H PresidentOfTheUnitedStates)
    (leader ?H UnitedStates))
Government.kif 1488-1490
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 503-505
(=>
    (instance ?CITY AmericanCity)
    (part ?CITY UnitedStates))
CountriesAndRegions.kif 39-41
(=>
    (instance ?STATE AmericanState)
    (part ?STATE UnitedStates))
CountriesAndRegions.kif 25-27
(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))
Media.kif 2602-2604

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


(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))
Geography.kif 6664-6664 American state is equal to all the instances of state or province in united states
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4808-4808 Department of homeland security is a part of the organization the government of united states
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))
VirusProteinAndCellPart.kif 792-792 USFoodAndDrugAdministration is a part of the organization the government of united states
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))
Government.kif 2376-2376 US state department is a part of the organization the government of united states
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))
Government.kif 1934-1934 United states congress is a part of the organization the government of united states
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))
Government.kif 4835-4835 United states department of interior is a part of the organization the government of united states
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))
Government.kif 4830-4830 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