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


(chiefOfStateType UnitedStates President) MilitaryPersons.kif 481-481
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.") CountriesAndRegions.kif 1376-1376
(economyType UnitedStates AdvancedEconomy) Economy.kif 557-557
(economyType UnitedStates DevelopedCountry) Economy.kif 180-180
(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
(instance UnitedStates Nation) CountriesAndRegions.kif 406-406

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


(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3727-3727
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3735-3735
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3785-3785
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3792-3792
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3798-3798
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3802-3802
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3806-3806
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3814-3814
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3818-3818
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3828-3828
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3830-3830
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3834-3834
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3851-3851
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3854-3854
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2720-2720
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2844-2844
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3139-3139
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3142-3142
(geographicSubregion NewJersey UnitedStates) CountriesAndRegions.kif 1051-1051
(geographicSubregion NewYorkCityUnitedStates UnitedStates) CountriesAndRegions.kif 1057-1057
(geographicSubregion NewYorkState UnitedStates) CountriesAndRegions.kif 1055-1055
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3459-3459
(geographicSubregion Texas UnitedStates) CountriesAndRegions.kif 1116-1116

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

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


(comparativeArea SouthernOcean greaterThan 2 UnitedStates) Geography.kif 4381-4381

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


(=>
    (and
        (instance ?ATTR USMilitaryRank)
        (attribute ?PERSON ?ATTR))
    (exists (?MO)
        (and
            (member ?PERSON ?MO)
            (militaryOfArea ?MO UnitedStates))))
Military.kif 257-264
(=>
    (attribute ?H PresidentOfTheUnitedStates)
    (leader ?H UnitedStates))
Government.kif 1463-1465
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 504-506
(=>
    (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 2584-2586

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


(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))
Geography.kif 6298-6298
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4764-4764
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))
Government.kif 2338-2338
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))
Government.kif 1909-1909
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))
Government.kif 4791-4791
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))
Government.kif 4786-4786


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners