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


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

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


(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 capitalCity WashingtonDCUnitedStates and UnitedStates
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3728-3728 dependentGeopoliticalArea AmericanSamoa and UnitedStates
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3736-3736 dependentGeopoliticalArea BakerIsland and UnitedStates
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3786-3786 dependentGeopoliticalArea Guam and UnitedStates
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3793-3793 dependentGeopoliticalArea HowlandIsland and UnitedStates
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3799-3799 dependentGeopoliticalArea JarvisIsland and UnitedStates
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3803-3803 dependentGeopoliticalArea JohnstonAtoll and UnitedStates
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3807-3807 dependentGeopoliticalArea KingmanReef and UnitedStates
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3815-3815 dependentGeopoliticalArea MidwayIslands and UnitedStates
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3819-3819 dependentGeopoliticalArea NavassaIsland and UnitedStates
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3829-3829 dependentGeopoliticalArea NorthernMarianaIslands and UnitedStates
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3831-3831 dependentGeopoliticalArea PalmyraAtoll and UnitedStates
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3835-3835 dependentGeopoliticalArea PuertoRico and UnitedStates
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3852-3852 dependentGeopoliticalArea USVirginIslands and UnitedStates
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3855-3855 dependentGeopoliticalArea WakeIsland and UnitedStates
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2720-2720 geographicSubregion ChicagoUnitedStates and UnitedStates
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2844-2844 geographicSubregion FloridaUnitedStates and UnitedStates
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3139-3139 geographicSubregion LosAngelesCalifornia and UnitedStates
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3142-3142 geographicSubregion LosAngelesInternationalAirportUnitedStates and UnitedStates
(geographicSubregion NewJersey UnitedStates) CountriesAndRegions.kif 1051-1051 geographicSubregion NewJersey and UnitedStates
(geographicSubregion NewYorkCityUnitedStates UnitedStates) CountriesAndRegions.kif 1057-1057 geographicSubregion NewYorkCityUnitedStates and UnitedStates
(geographicSubregion NewYorkState UnitedStates) CountriesAndRegions.kif 1055-1055 geographicSubregion NewYorkState and UnitedStates
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3459-3459 geographicSubregion SacramentoUnitedStates and UnitedStates
(geographicSubregion Texas UnitedStates) CountriesAndRegions.kif 1116-1116 geographicSubregion Texas and UnitedStates

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 codeMapping ISO-3166-1-alpha-2, "US" and UnitedStates

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


(comparativeArea SouthernOcean greaterThan 2 UnitedStates) Geography.kif 4394-4394 comparativeArea SouthernOcean, greaterThan, 2 and UnitedStates

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 1457-1459
(=>
    (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 6314-6314 equal AmericanState and GeographicPartTypeFn StateOrProvince and UnitedStates
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4759-4759 subOrganization DepartmentOfHomelandSecurity and GovernmentFn UnitedStates
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))
Government.kif 2332-2332 subOrganization USStateDepartment and GovernmentFn UnitedStates
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))
Government.kif 1903-1903 subOrganization UnitedStatesCongress and GovernmentFn UnitedStates
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))
Government.kif 4786-4786 subOrganization UnitedStatesDepartmentOfInterior and GovernmentFn UnitedStates
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))
Government.kif 4781-4781 subOrganization UnitedStatesDepartmentOfState and GovernmentFn UnitedStates


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