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 3726-3726
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3734-3734
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3784-3784
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3791-3791
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3797-3797
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3801-3801
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3805-3805
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3813-3813
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3817-3817
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3827-3827
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3829-3829
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3833-3833
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3850-3850
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3853-3853
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2719-2719
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2843-2843
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3138-3138
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3141-3141
(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 3458-3458
(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 2755-2755

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


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

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


(=>
    (and
        (instance ?ATTR USMilitaryRank)
        (attribute ?PERSON ?ATTR))
    (exists (?MO)
        (and
            (member ?PERSON ?MO)
            (militaryOfArea ?MO UnitedStates))))
Military.kif 257-264
(=>
    (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 1489-1491
(=>
    (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 2596-2598

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


(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))
Geography.kif 6506-6506
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4804-4804
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))
VirusProteinAndCellPart.kif 792-792
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))
Government.kif 2377-2377
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))
Government.kif 1935-1935
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))
Government.kif 4831-4831
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))
Government.kif 4826-4826


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