#federal_government__federalgovernment  a government with strong central powers
  subtype:  United_States_government  the executive and legislative and judicial branches of the federal government of the United States
  instance:  Capitol
  member:  federal_court
  supertype:  authorities__authoritie__government__regime  the organization that is the governing authority of a political unit; "the government reduced taxes"; "the matter was referred to higher authorities"
     supertype:  polity.organization  a politically organized unit
        supertype:  organization__organisation  a group of people who work together
           supertype:  person_or_organization  this category is for menu-generation purposes
              supertype:  Legal-Agent  agent with legal status, e.g., organizations and people
                 supertype:  cognitive_agent__cognitiveagent  for example an organization, an animal or an AI-agent
                    supertype:  goal_directed_agent  goal directed causal entity, e.g., a problem solver or an interactional agent
                       supertype:  causal_entity__agent  something (animal or software agent) able to act
                          supertype:  entity_playing_some_role  e.g., an agent, an owner
                             supertype:  entity  something that can be "involved" in a situation
                                supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                             supertype:  thing_that_can_be_seen_as_a_relation  usable as relation type
                                supertype:  thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
                                   supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                          supertype:  causal_agent__cause__causal_agency  any entity that causes events to happen
                             supertype:  thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
                          supertype:  temporal_thing  The collection of all things that have temporal extent or location, i.e. things about which one might sensibly ask When? . cyc#TemporalThing thus contains many kinds of things, including events, physical objects, agreements, and abstract pieces of time. Note that cyc#TimePoint is a specialization of cyc#TemporalThing, since time points have temporal location, although they arguably lack temporal extent. Abstract things that are timeless -- such as mathematical sets, attributes, and numbers -- are of course _not_ instances of cyc#TemporalThing.
                             supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                       supertype:  processing_thing
                          supertype:  thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
           supertype:  social_group  people sharing some social relation
              supertype:  non_sentient_cognitive_agent  e.g., AI_Agent
                 supertype:  cognitive_agent__cognitiveagent  for example an organization, an animal or an AI-agent
              supertype:  group__grouping  any number of entities (members) considered as a unit
                 supertype:  collection  something gathering separated things (entities/situations)
                    supertype:  divisible_entity__divisibleentity  many classifications under this category are application-dependant
                       supertype:  entity  something that can be "involved" in a situation
                       supertype:  divisible_thing__divisiblething
                          supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

No statement uses or specializes federal_government; click here to add one.