UnitedStates - Sigma Knowledge base Browser

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

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 2805-2817
(=> (and (instance ?ATTR USMilitaryRank) (attribute ?PERSON ?ATTR)) (exists (?MO) (and (member ?PERSON ?MO) (militaryOfArea ?MO UnitedStates))))	Military.kif 324-331
(=> (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 2614-2616

statement

(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 7045-7045
(subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates))	Government.kif 4790-4790
(subOrganization USFoodAndDrugAdministration (GovernmentFn UnitedStates))	VirusProteinAndCellPart.kif 1284-1284
(subOrganization USStateDepartment (GovernmentFn UnitedStates))	Government.kif 2353-2353
(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates))	Government.kif 1911-1911
(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates))	Government.kif 4817-4817
(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))	Government.kif 4812-4812

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

KB Term:			Term intersection

English Word: