| 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 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "US" UnitedStates) | Media.kif 2743-2743 |
| appearance as argument number 4 |
|
|
| (comparativeArea SouthernOcean greaterThan 2 UnitedStates) | Geography.kif 4394-4394 |
| consequent |
|
|
| (=> (and (instance ?ATTR USMilitaryRank) (attribute ?PERSON ?ATTR)) (exists (?MO) (and (member ?PERSON ?MO) (militaryOfArea ?MO UnitedStates)))) |
Military.kif 257-264 | |
| (=> (attribute ?H PresidentOfTheUnitedStates) (leader ?H UnitedStates)) |
Government.kif 1457-1459 | |
| (=> (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 2584-2586 |
| statement |
|
|
| (equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 6314-6314 | |
| (subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates)) |
Government.kif 4759-4759 | |
| (subOrganization USStateDepartment (GovernmentFn UnitedStates)) |
Government.kif 2332-2332 | |
| (subOrganization UnitedStatesCongress (GovernmentFn UnitedStates)) |
Government.kif 1903-1903 | |
| (subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates)) |
Government.kif 4786-4786 | |
| (subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates)) |
Government.kif 4781-4781 |
|
|
|