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
(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 3728-3728
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3736-3736
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3786-3786
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3793-3793
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3799-3799
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3803-3803
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3807-3807
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3815-3815
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3819-3819
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3829-3829
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3831-3831
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3835-3835
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3852-3852
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3855-3855
(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 4394-4394

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
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4759-4759
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))
Government.kif 2332-2332
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))
Government.kif 1903-1903
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))
Government.kif 4786-4786
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))
Government.kif 4781-4781


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