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
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.") CountriesAndRegions.kif 1376-1376
(economyType UnitedStates AdvancedEconomy) Economy.kif 562-562
(economyType UnitedStates DevelopedCountry) Economy.kif 180-180
(externalImage UnitedStates "http://articulatesoftware.com/SUMOpictures/ 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 3721-3721
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3729-3729
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3779-3779
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3786-3786
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3792-3792
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3796-3796
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3800-3800
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3808-3808
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3812-3812
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3822-3822
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3824-3824
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3828-3828
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3845-3845
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3848-3848
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2722-2722
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2844-2844
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3137-3137
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3140-3140
(geographicSubregion NewJersey UnitedStates) CountriesAndRegions.kif 1051-1051
(geographicSubregion NewYorkCityUnitedStates UnitedStates) CountriesAndRegions.kif 1057-1057
(geographicSubregion NewYorkState UnitedStates) CountriesAndRegions.kif 1055-1055
(geographicSubregion RockyMountains UnitedStates) Geography.kif 364-364
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3454-3454

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

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


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

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
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4789-4789
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))
VirusProteinAndCellPart.kif 1291-1291
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))
Government.kif 2352-2352
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))
Government.kif 1911-1911
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))
Government.kif 4816-4816
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))
Government.kif 4811-4811


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