UnitedStates - Sigma Knowledge base Browser

appearance as argument number 1

(chiefOfStateType UnitedStates President)	MilitaryPersons.kif 492-492	President is a chief of state type of united states
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.")	CountriesAndRegions.kif 1376-1376	President is a chief of state type of united states
(economyType UnitedStates AdvancedEconomy)	Economy.kif 562-562	Advanced economy is an economy type of united states
(economyType UnitedStates DevelopedCountry)	Economy.kif 180-180	Developed country is an economy type of united states
(externalImage UnitedStates "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ U/ United_States.png")	pictureList.kif 814-814	Developed country is an economy type of united states
(geographicSubregion UnitedStates NorthAmerica)	CountriesAndRegions.kif 405-405	United states is a geographic subregion of north america
(instance UnitedStates Nation)	CountriesAndRegions.kif 406-406	United states is an instance of nation

appearance as argument number 2

(capitalCity WashingtonDCUnitedStates UnitedStates)	CountriesAndRegions.kif 1050-1050	United states is a capital city of washingtonDC united states
(dependentGeopoliticalArea AmericanSamoa UnitedStates)	CountriesAndRegions.kif 3721-3721	American samoa is a dependent of united states
(dependentGeopoliticalArea BakerIsland UnitedStates)	CountriesAndRegions.kif 3729-3729	Baker island is a dependent of united states
(dependentGeopoliticalArea Guam UnitedStates)	CountriesAndRegions.kif 3779-3779	Guam is a dependent of united states
(dependentGeopoliticalArea HowlandIsland UnitedStates)	CountriesAndRegions.kif 3786-3786	Howland island is a dependent of united states
(dependentGeopoliticalArea JarvisIsland UnitedStates)	CountriesAndRegions.kif 3792-3792	Jarvis island is a dependent of united states
(dependentGeopoliticalArea JohnstonAtoll UnitedStates)	CountriesAndRegions.kif 3796-3796	Johnston atoll is a dependent of united states
(dependentGeopoliticalArea KingmanReef UnitedStates)	CountriesAndRegions.kif 3800-3800	Kingman reef is a dependent of united states
(dependentGeopoliticalArea MidwayIslands UnitedStates)	CountriesAndRegions.kif 3808-3808	Midway islands is a dependent of united states
(dependentGeopoliticalArea NavassaIsland UnitedStates)	CountriesAndRegions.kif 3812-3812	Navassa island is a dependent of united states
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates)	CountriesAndRegions.kif 3822-3822	Northern mariana islands is a dependent of united states
(dependentGeopoliticalArea PalmyraAtoll UnitedStates)	CountriesAndRegions.kif 3824-3824	Palmyra atoll is a dependent of united states
(dependentGeopoliticalArea PuertoRico UnitedStates)	CountriesAndRegions.kif 3828-3828	Puerto rico is a dependent of united states
(dependentGeopoliticalArea USVirginIslands UnitedStates)	CountriesAndRegions.kif 3845-3845	US virgin islands is a dependent of united states
(dependentGeopoliticalArea WakeIsland UnitedStates)	CountriesAndRegions.kif 3848-3848	Wake island is a dependent of united states
(geographicSubregion ChicagoUnitedStates UnitedStates)	CountriesAndRegions.kif 2722-2722	Chicago united states is a geographic subregion of united states
(geographicSubregion FloridaUnitedStates UnitedStates)	CountriesAndRegions.kif 2844-2844	Florida is a geographic subregion of united states
(geographicSubregion LosAngelesCalifornia UnitedStates)	CountriesAndRegions.kif 3137-3137	Los angeles california is a geographic subregion of united states
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates)	CountriesAndRegions.kif 3140-3140	Los angeles international airport united states is a geographic subregion of united states
(geographicSubregion NewJersey UnitedStates)	CountriesAndRegions.kif 1051-1051	New jersey united states is a geographic subregion of united states
(geographicSubregion NewYorkCityUnitedStates UnitedStates)	CountriesAndRegions.kif 1057-1057	New york city united states is a geographic subregion of united states
(geographicSubregion NewYorkState UnitedStates)	CountriesAndRegions.kif 1055-1055	New york state is a geographic subregion of united states
(geographicSubregion RockyMountains UnitedStates)	Geography.kif 364-364	Rocky Mountains is a geographic subregion of united states
(geographicSubregion SacramentoUnitedStates UnitedStates)	CountriesAndRegions.kif 3454-3454	Sacramento united states is a geographic subregion of united states

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

"US" in ISO_3166_1_alpha_2 denotes united states

appearance as argument number 4

(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates)

Geography.kif 4883-4883

Southern ocean comparative area greater than for 2.0 with united states

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	If blue force controlled is an attribute of an object and the object is an instance of object, then there exists an organization such that the organization is an instance of government organization and the organization possesses the object and the organization is a part of the organization the government of united states or the organization and the government of united states are allies of each other
(=> (and (instance ?ATTR USMilitaryRank) (attribute ?PERSON ?ATTR)) (exists (?MO) (and (member ?PERSON ?MO) (militaryOfArea ?MO UnitedStates))))	Military.kif 334-341	If an attribute is an instance of US military rank and the attribute is an attribute of an object, then there exists a military organization such that the object is a member of the military organization and united states is a military of area of the military organization
(=> (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	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
(=> (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	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and equal the object and the entity
(=> (attribute ?H PresidentOfTheUnitedStates) (leader ?H UnitedStates))	Government.kif 1465-1467	If president of the united states is an attribute of an agent, then united states is a leader of the agent
(=> (instance ?AREA UnincorporatedUnitedStatesTerritory) (dependentAreaOfType ?AREA UnitedStates OverseasArea))	Government.kif 479-481	If a geopolitical area is an instance of unincorporated united states territory, then the geopolitical area dependent area of type united states for overseas area
(=> (instance ?CITY AmericanCity) (part ?CITY UnitedStates))	CountriesAndRegions.kif 39-41	If an object is an instance of american city, then the object is a part of united states
(=> (instance ?STATE AmericanState) (part ?STATE UnitedStates))	CountriesAndRegions.kif 25-27	If an object is an instance of american state, then the object is a part of united states
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates))	Media.kif 2616-2618	If a geopolitical area is a member of United states minor outlying islands, then the geopolitical area is a dependent of united states

statement

(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 7280-7280	equal american state and all the instances of state or province in united states
(subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates))	Government.kif 4789-4789	Department of homeland security is a part of the organization the government of united states
(subOrganization USFoodAndDrugAdministration (GovernmentFn UnitedStates))	VirusProteinAndCellPart.kif 1291-1291	US food and drug administration is a part of the organization the government of united states
(subOrganization USStateDepartment (GovernmentFn UnitedStates))	Government.kif 2352-2352	US state department is a part of the organization the government of united states
(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates))	Government.kif 1911-1911	United states congress is a part of the organization the government of united states
(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates))	Government.kif 4816-4816	United states department of interior is a part of the organization the government of united states
(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))	Government.kif 4811-4811	United states department of state is a part of the organization the government of united states

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: