#function_call  a call that passes control to a subroutine; after the subroutine is executed control returns to the next instruction in main program
  supertype:  call.computer_code  an instruction that interrupts the program being executed; "Pascal performs calls by simply giving the name of the routine to be executed"
     supertype:  instruction.computer_code__command__statement__program_line__programline  (computer science) a line of code written as part of a computer program
        supertype:  computer_code__code  (computer science) the symbolic arrangement of data or instructions in a computer program or the set of such instructions
           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:  process_or_process_description
              supertype:  processing_thing
                 supertype:  thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
           supertype:  coding_system  a system of signals used to represent letters or numbers in transmitting messages
              supertype:  writing.symbols  letters or symbols written or imprinted on a surface to represent the sounds or words of a language; "he turned the paper over so the writing wouldn't show"; "the doctor's writing was illegible"
                 supertype:  written_communication__writtencommunication__written_language__writtenlanguage  communication by means of written symbols
                    supertype:  communication  something that is communicated between people or groups
                       supertype:  description_content/medium/container__descriptioncontent/medium/container
                          supertype:  non_spatial_object_that_is_not_an_attribute_or_quality_or_measure
                             supertype:  non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
                                supertype:  entity  something that can be "involved" in a situation
                                supertype:  intangible  The collection of things that are not physical -- are not made of, or encoded in, matter. Every cyc#Collection is a cyc#intangible (even if its instances are tangible), and so are some cyc#individuals.  Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense.
                                   supertype:  partially_intangible__partiallyintangible  The collection of things that either are wholly intangible (see cyc#Intangible) or have at least one intangible (i.e. immaterial) part (see cyc#intangibleParts). This includes intangible individuals, such as instances of cyc#Number-General  or cyc#Agreement, as well as non-individuals (all of which are intangible), i.e. instances of cyc#SetOrCollection.  It also includes things that have both tangible and intangible components (see cyc#CompositeTangibleAndIntangibleObject),  such as a printed copy of a newspaper (as its information content is intangible) or a person (as her mental states are intangible).
                                      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:  social_relation  a relation between living organisms (especially between people)
                          supertype:  relation  an abstraction belonging to or characteristic of two entities or parts together
                             supertype:  thing_that_can_be_seen_as_a_relation  usable as relation type

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