is#mathematical_symbolic_structure
  exclusion:  is#symbolic_structure_not_fully_mathematically_defined
  supertype:  is#symbolic_structure
  subtype:  km#mathematical_KM_structure
     subtype:  km#FCA_structure
        subtype:  km#FCA_formal_context
           subtype:  km#FCA_simple_formal_context
           subtype:  km#FCA_many_valued_context
              subtype:  km#FCA_incomplete_context
        subtype:  km#FCA_formal_concept
        subtype:  km#FCA_graph
           subtype:  km#FCA_concept_graph
              subtype:  km#FCA_existential_concept_graph
              subtype:  km#FCA_concept_graph_with_negation
                 subtype:  km#FCA_semiconcept_graph
                    subtype:  km#FCA_semiconcept_graph_with_variables
                 subtype:  km#FCA_protoconcept_graph
                 subtype:  km#FCA_concept_graph_with_cuts
           subtype:  km#FCA_relation_graph
        subtype:  km#FCA_ontology

1 statement is about a direct instance of is#mathematical_symbolic_structure: km#graph7_on_article

6 statements are about indirect instances of is#mathematical_symbolic_structure: km#graph27_on_article, km#graph29_on_article, km#graph30_on_article, km#graph3_on_PhD_thesis, km#graph32_on_article, km#graph33_on_article
  click here to display them or click here for a search form or here to add a statement