is#symbolic_structure
exclusion: connexionist_structure
supertype: IS_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
9 statements are about indirect instances of symbolic_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
107 categories printed