km#KR_language__KRL__KR_model_or_notation
supertype: KM_structure
object of: knowledge_representation
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: 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: 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
7 statements are about indirect instances of KR_language: graph3_on_article, graph8_on_article, graph27_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