Deductions
- Federal Government of the United States has part class ⇐ (entity is a class), (Federal Government of the United States has part entity)
- Federal Government of the United States has part concept ⇐ (class is a concept), (Federal Government of the United States has part class)
- Federal Government of the United States has part class ⇐ (abstract entity is a class), (Federal Government of the United States has part abstract entity)
- 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)
- member of the United States House of Representatives is part of Federal Government of the United States ⇐ (member of the United States House of Representatives is part of United States House of Representatives), (United States House of Representatives is part of Federal Government of the United States), (is part of is a transitive relation)
- United States House of Representatives is part of Federal Government of the United States ⇐ (United States House of Representatives 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)
- Federal Government of the United States has part abstract entity ⇐ (type of fixed-size set or group is a abstract entity), (Federal Government of the United States has part type of fixed-size set or group)
- Federal Government of the United States has part variable-order class ⇐ (class is a variable-order class), (Federal Government of the United States has part class)
- Federal Government of the United States has part metaclass ⇐ (type of fixed-size set or group is a metaclass), (Federal Government of the United States has part type of fixed-size set or group)
- Federal Government of the United States has part class ⇐ (dyad is a class), (Federal Government of the United States has part dyad)
- Federal Government of the United States has part entity ⇐ (dyad is a entity), (Federal Government of the United States has part dyad)
- Federal Government of the United States has part bicameral legislature ⇐ (United States Congress is a bicameral legislature), (Federal Government of the United States has part United States Congress)
- Federal Government of the United States has part type of fixed-size set or group ⇐ (dyad is a type of fixed-size set or group), (Federal Government of the United States has part dyad)
- Federal Government of the United States has part dyad ⇐ (United States Congress is a dyad), (Federal Government of the United States has part United States Congress)
- federal government is for example Federal Government of the United States ⇐ (Federal Government of the United States is a federal government), (is a is inverse of is for example)