is#symbolic_structure
  exclusion:  is#connexionist_structure
  supertype:  is#IS_structure
  subtype:  is#mathematical_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
  subtype:  is#symbolic_structure_not_fully_mathematically_defined
  subtype:  km#KM_structure
     subtype:  km#KB__knowledge_base__knowledgebase
     subtype:  km#base_of_facts/beliefs
     subtype:  km#ontology__set_of_category_definitions/constraints
        subtype:  km#lexical_ontology__lexicalontology
        subtype:  km#language_ontology
        subtype:  km#domain_ontology
        subtype:  km#top_level_ontology__toplevelontology
           subtype:  km#DOLCE_light
           subtype:  km#SUMO
           subtype:  km#top_level_of_ontology_of_John_Sowa
        subtype:  km#concept_ontology__conceptontology
        subtype:  km#relation_ontology
        subtype:  km#multi_source_ontology  ontology where the creator of each category and statement is recorded and represented via a category
           subtype:  km#default_MSO_of_WebKB-2  an ontology provided as default by a version of WebKB-2
        subtype:  km#CG_ontology
     subtype:  km#KB_category  if a category has an identifier, this identifier is a "formal term"
        subtype:  km#individual  if an individual has an identifier, this identifier may be named a "constant"
           subtype:  km#context
              subtype:  km#module/namespace
        subtype:  km#type
           subtype:  km#concept_type__concepttype
           subtype:  km#relation_type
              subtype:  km#lexical_link__lexicallink
              subtype:  km#link_to_document_element
              subtype:  km#link_to_creator
     subtype:  km#KB_statement
        subtype:  km#category_definition
        subtype:  km#fact_or_belief
     subtype:  km#data_to_model
     subtype:  km#KA_model__knowledge_acquisition_model__knowledgeacquisitionmodel
        subtype:  km#generic_KA_model
        subtype:  km#instantiated_KA_model
        subtype:  km#task_model
           subtype:  km#generic_task_model
           subtype:  km#instantiated_task_model
           subtype:  kads#task_model
        subtype:  km#CommonKADS_model
           subtype:  kads#organisation_model
           subtype:  kads#task_model
           subtype:  kads#agent_model
           subtype:  kads#communication_model__communicationmodel
           subtype:  kads#expertise_model__expertisemodel
           subtype:  kads#design_model
        subtype:  km#KB_conceptual_model
        subtype:  km#KBS_design_model
           subtype:  kads#design_model
     subtype:  km#KR_language__KRL__KR_model_or_notation
        subtype:  km#KR_model/structure
        subtype:  km#KR_notation
           subtype:  km#linear_notation__text_based_notation
           subtype:  km#CG_notation
              subtype:  km#CGIF__Conceptual_Graph_Interchange_Format
              subtype:  km#CGLF__Conceptual_Graph_Linear_Format
              subtype:  km#CGDF__Conceptual_Graph_Display_Format
              subtype:  km#CGPro__Conceptual_Graph_Prolog
              subtype:  km#XCG
              subtype:  km#FCG__Frame-CG
              subtype:  km#FE__Formalized-English
              subtype:  km#FT__For_taxonomy
        subtype:  km#predicate_logic_oriented_language
           subtype:  km#KIF
           subtype:  km#CYCL
        subtype:  km#frame_oriented_language
           subtype:  km#terminological_logic
           subtype:  km#Frame-Logic
        subtype:  km#graph_oriented_language
           subtype:  km#Peirce_existential_graphs__EGs
           subtype:  km#CGs
           subtype:  km#RDF
           subtype:  km#concept_maps_language
           subtype:  km#FCA_graph
           subtype:  km#CG_language__Conceptual_Graph
              subtype:  km#existential_CG
              subtype:  km#CG_with_context__cgwithcontext
                 subtype:  km#existential_CG_plus_context
              subtype:  km#existential_CG_plus_if-then_connector
              subtype:  km#CG_model
              subtype:  km#CG_notation
        subtype:  km#KR_language_with_query_commands
        subtype:  km#KR_language_with_scripting_capabilities
     subtype:  km#mathematical_KM_structure
     subtype:  km#language_specific_structure
        subtype:  km#CG_structure
           subtype:  km#CG_statement
           subtype:  km#CG_language__Conceptual_Graph
           subtype:  km#CG_ontology

9 statements are about indirect instances of is#symbolic_structure: km#graph3_on_article, km#graph7_on_article, km#graph8_on_article, 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

107 categories printed