is#IS_structure
  supertype:  description_medium__descriptionmedium  e.g., a syntax, a language, a script, a structure
  object of:  information_sciences_task
  subtype:  symbolic_structure
     subtype:  mathematical_symbolic_structure
        subtype:  mathematical_KM_structure
           subtype:  FCA_structure
              subtype:  FCA_formal_context
                 subtype:  FCA_simple_formal_context
                 subtype:  FCA_many_valued_context
                    subtype:  FCA_incomplete_context
              subtype:  FCA_formal_concept
              subtype:  FCA_graph
                 subtype:  FCA_concept_graph
                    subtype:  FCA_existential_concept_graph
                    subtype:  FCA_concept_graph_with_negation
                       subtype:  FCA_semiconcept_graph
                          subtype:  FCA_semiconcept_graph_with_variables
                       subtype:  FCA_protoconcept_graph
                       subtype:  FCA_concept_graph_with_cuts
                 subtype:  FCA_relation_graph
              subtype:  FCA_ontology
     subtype:  symbolic_structure_not_fully_mathematically_defined
     subtype:  KM_structure
        subtype:  KB__knowledge_base__knowledgebase
        subtype:  base_of_facts/beliefs
        subtype:  ontology__set_of_category_definitions/constraints
           subtype:  lexical_ontology__lexicalontology
           subtype:  language_ontology
           subtype:  domain_ontology
           subtype:  top_level_ontology__toplevelontology
              subtype:  DOLCE_light
              subtype:  SUMO
              subtype:  top_level_of_ontology_of_John_Sowa
           subtype:  concept_ontology__conceptontology
           subtype:  relation_ontology
           subtype:  multi_source_ontology  ontology where the creator of each category and statement is recorded and represented via a category
              subtype:  default_MSO_of_WebKB-2  an ontology provided as default by a version of WebKB-2
           subtype:  CG_ontology
        subtype:  KB_category  if a category has an identifier, this identifier is a "formal term"
           subtype:  individual  if an individual has an identifier, this identifier may be named a "constant"
              subtype:  context
                 subtype:  module/namespace
           subtype:  type
              subtype:  concept_type__concepttype
              subtype:  relation_type
                 subtype:  lexical_link__lexicallink
                 subtype:  link_to_document_element
                 subtype:  link_to_creator
        subtype:  KB_statement
           subtype:  category_definition
           subtype:  fact_or_belief
        subtype:  data_to_model
        subtype:  KA_model__knowledge_acquisition_model__knowledgeacquisitionmodel
           subtype:  generic_KA_model
           subtype:  instantiated_KA_model
           subtype:  task_model
              subtype:  generic_task_model
              subtype:  instantiated_task_model
              subtype:  task_model
           subtype:  CommonKADS_model
              subtype:  organisation_model
              subtype:  task_model
              subtype:  agent_model
              subtype:  communication_model__communicationmodel
              subtype:  expertise_model__expertisemodel
              subtype:  design_model
           subtype:  KB_conceptual_model
           subtype:  KBS_design_model
              subtype:  design_model
        subtype:  KR_language__KRL__KR_model_or_notation
           subtype:  KR_model/structure
           subtype:  KR_notation
              subtype:  linear_notation__text_based_notation
              subtype:  CG_notation
                 subtype:  CGIF__Conceptual_Graph_Interchange_Format
                 subtype:  CGLF__Conceptual_Graph_Linear_Format
                 subtype:  CGDF__Conceptual_Graph_Display_Format
                 subtype:  CGPro__Conceptual_Graph_Prolog
                 subtype:  XCG
                 subtype:  FCG__Frame-CG
                 subtype:  FE__Formalized-English
                 subtype:  FT__For_taxonomy
           subtype:  predicate_logic_oriented_language
              subtype:  KIF
              subtype:  CYCL
           subtype:  frame_oriented_language
              subtype:  terminological_logic
              subtype:  Frame-Logic
           subtype:  graph_oriented_language
              subtype:  Peirce_existential_graphs__EGs
              subtype:  CGs
              subtype:  RDF
              subtype:  concept_maps_language
              subtype:  FCA_graph
              subtype:  CG_language__Conceptual_Graph
                 subtype:  existential_CG
                 subtype:  CG_with_context__cgwithcontext
                    subtype:  existential_CG_plus_context
                 subtype:  existential_CG_plus_if-then_connector
                 subtype:  CG_model
                 subtype:  CG_notation
           subtype:  KR_language_with_query_commands
           subtype:  KR_language_with_scripting_capabilities
        subtype:  mathematical_KM_structure
        subtype:  language_specific_structure
           subtype:  CG_structure
              subtype:  CG_statement
              subtype:  CG_language__Conceptual_Graph
              subtype:  CG_ontology
  subtype:  connexionist_structure
     subtype:  neural_network

9 statements are about indirect instances of IS_structure: graph3_on_article, graph7_on_article, graph8_on_article, graph27_on_article, graph29_on_article, graph30_on_article, graph3_on_PhD_thesis, graph32_on_article, graph33_on_article
  click here to display them or click here for a search form or here to add a statement

110 categories printed