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

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


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

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 1503-1505
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 515-517
(=>
    (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 2614-2616

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


(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))
Geography.kif 6976-6976
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4828-4828
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))
VirusProteinAndCellPart.kif 1283-1283
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))
Government.kif 2391-2391
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))
Government.kif 1949-1949
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))
Government.kif 4855-4855
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))
Government.kif 4850-4850


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