km#KR_notation
  exclusion:  KR_model/structure
  supertype:  KR_language__KRL__KR_model_or_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

1 statement is about an indirect instance of KR_notation (FE__Formalized-English): graph8_on_article
  click here to display them or click here for a search form or here to add a statement