United States Senate

Deductions

• United States Senate is part of Federal Government of the United States ⇐ (United States Senate is part of United States Congress), (United States Congress is part of Federal Government of the United States), (is part of is a transitive relation)
• house of representatives is for example United States Senate ⇐ (United States Senate is a house of representatives), (is a is inverse of is for example)
• senate is for example United States Senate ⇐ (United States Senate is a senate), (is a is inverse of is for example)
• United States Senate is a house of representatives ⇐ (United States House of Representatives is a house of representatives), (United States House of Representatives is opposite of United States Senate)