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 492-492 chiefOfStateType UnitedStates and President
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.") CountriesAndRegions.kif 1376-1376 chiefOfStateType UnitedStates and President
(economyType UnitedStates AdvancedEconomy) Economy.kif 562-562 economyType UnitedStates and AdvancedEconomy
(economyType UnitedStates DevelopedCountry) Economy.kif 180-180 economyType UnitedStates and DevelopedCountry
(externalImage UnitedStates "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ U/ United_States.png") pictureList.kif 814-814 economyType UnitedStates and DevelopedCountry
(geographicSubregion UnitedStates NorthAmerica) CountriesAndRegions.kif 405-405 geographicSubregion UnitedStates and NorthAmerica
(instance UnitedStates Nation) CountriesAndRegions.kif 406-406 UnitedStates est une instance de nation

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


(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 capitalCity WashingtonDCUnitedStates and UnitedStates
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3721-3721 dependentGeopoliticalArea AmericanSamoa and UnitedStates
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3729-3729 dependentGeopoliticalArea BakerIsland and UnitedStates
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3779-3779 dependentGeopoliticalArea Guam and UnitedStates
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3786-3786 dependentGeopoliticalArea HowlandIsland and UnitedStates
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3792-3792 dependentGeopoliticalArea JarvisIsland and UnitedStates
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3796-3796 dependentGeopoliticalArea JohnstonAtoll and UnitedStates
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3800-3800 dependentGeopoliticalArea KingmanReef and UnitedStates
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3808-3808 dependentGeopoliticalArea MidwayIslands and UnitedStates
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3812-3812 dependentGeopoliticalArea NavassaIsland and UnitedStates
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3822-3822 dependentGeopoliticalArea NorthernMarianaIslands and UnitedStates
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3824-3824 dependentGeopoliticalArea PalmyraAtoll and UnitedStates
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3828-3828 dependentGeopoliticalArea PuertoRico and UnitedStates
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3845-3845 dependentGeopoliticalArea USVirginIslands and UnitedStates
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3848-3848 dependentGeopoliticalArea WakeIsland and UnitedStates
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2722-2722 geographicSubregion ChicagoUnitedStates and UnitedStates
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2844-2844 geographicSubregion FloridaUnitedStates and UnitedStates
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3137-3137 geographicSubregion LosAngelesCalifornia and UnitedStates
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3140-3140 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 RockyMountains UnitedStates) Geography.kif 364-364 geographicSubregion RockyMountains and UnitedStates
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3454-3454 geographicSubregion SacramentoUnitedStates 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 2775-2775 codeMapping ISO_3166_1_alpha_2, "US" and UnitedStates

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


(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) Geography.kif 4916-4916 comparativeArea SouthernOcean, greaterThan, 2.0 and UnitedStates

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


(=>
    (and
        (attribute ?X BlueforceControlled)
        (instance ?X Object))
    (exists (?A)
        (and
            (instance ?A GovernmentOrganization)
            (possesses ?A ?X)
            (or
                (subOrganization ?A
                    (GovernmentFn UnitedStates))
                (allied ?A
                    (GovernmentFn UnitedStates))))))
MilitaryProcesses.kif 2808-2820
(=>
    (and
        (instance ?ATTR USMilitaryRank)
        (attribute ?PERSON ?ATTR))
    (exists (?MO)
        (and
            (member ?PERSON ?MO)
            (militaryOfArea ?MO UnitedStates))))
Military.kif 334-341
(=>
    (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 1465-1467
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 479-481
(=>
    (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 2616-2618

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


(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))
Geography.kif 7313-7313 equal AmericanState and GeographicPartTypeFn Etat ou province and UnitedStates
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4789-4789 DepartmentOfHomelandSecurity est une partie de l'organization le gouvernment de UnitedStates
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))
VirusProteinAndCellPart.kif 1291-1291 USFoodAndDrugAdministration est une partie de l'organization le gouvernment de UnitedStates
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))
Government.kif 2352-2352 USStateDepartment est une partie de l'organization le gouvernment de UnitedStates
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))
Government.kif 1911-1911 UnitedStatesCongress est une partie de l'organization le gouvernment de UnitedStates
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))
Government.kif 4816-4816 UnitedStatesDepartmentOfInterior est une partie de l'organization le gouvernment de UnitedStates
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))
Government.kif 4811-4811 UnitedStatesDepartmentOfState est une partie de l'organization le gouvernment de 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 3.0 is open source software produced by Articulate Software and its partners