U.S. State
| Basic: |
| A U.S. state is a type of state and U.S. administrative division. |
| Documentation: |
| Comment: A specialization of State-Geopolitical . Each instance of #$State-UnitedStates is one of the states of the UnitedStatesOfAmerica . Instances include Alabama-State, Alaska-State, Arizona-State, and Arkansas-State. |
| Structure: |
| Some national guard is a suborganization of every U.S. state. Some U.S. governor is a leader of every U.S. state. Every U.S. governor is a leader of some U.S. state. Every US county is in some U.S. state. Some US county is in every U.S. state. |
| If some U.S. state is a U.S. state and some governor is the governor of that U.S. state, then that governor must be a U.S. governor. Every U.S. state has one city. |
| Miscellaneous: |
| If some U.S. state is a U.S. state and some city is in that U.S. state, then that city must be an American city. Every American city is in some U.S. state. Every United States senator represents some U.S. state. For every U.S. state there are two United States senators whose representative is the U.S. state. |
| If some state government is a state government and it is the governing body of some political entity, then that political entity must be a U.S. state. Only state governments is the governing body of U.S. states. |
| No U.S. state is a federal district. Every U.S. state is part of the United States. Every congressional district overlaps one U.S. state. |