senate

Deductions

• senate is for example United States House of Representatives ⇐ (United States House of Representatives is a senate), (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)
• senate is subclass of legislative house ⇐ (senate is subclass of upper house), (upper house is subclass of legislative house), (is subclass of is a transitive relation)
• United States Congress has part senate ⇐ (United States House of Representatives is a senate), (United States Congress has part United States House of Representatives)
• United States House of Representatives is a senate ⇐ (United States Senate is a senate), (United States Senate is opposite of United States House of Representatives)