is#IS_structure
  supertype:  pm#description_medium__descriptionmedium  e.g., a syntax, a language, a script, a structure
  object of:  is#information_sciences_task
  subtype:  is#symbolic_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
  subtype:  is#connexionist_structure
     subtype:  is#neural_network

9 statements are about indirect instances of is#IS_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

110 categories printed