km#CG_notation
  exclusion:  CG_model
  subtype: {CGIF CGLF CGDF CGPro XCG FCG FE FT}
  supertype:  CG_language__Conceptual_Graph
     supertype:  CG_structure
        supertype:  language_specific_structure
           supertype:  KM_structure
              supertype:  symbolic_structure
                 supertype:  IS_structure
                    supertype:  description_medium__descriptionmedium  e.g., a syntax, a language, a script, a structure
                       supertype:  description  description (content/medium) of an entity or a situation
                          supertype:  description_content/medium/container__descriptioncontent/medium/container
                             supertype:  non_spatial_object_that_is_not_an_attribute_or_quality_or_measure
                                supertype:  non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
                                   supertype:  entity  something that can be "involved" in a situation
                                      supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                                   supertype:  intangible  The collection of things that are not physical -- are not made of, or encoded in, matter. Every cyc#Collection is a cyc#intangible (even if its instances are tangible), and so are some cyc#individuals.  Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense.
                                      supertype:  partially_intangible__partiallyintangible  The collection of things that either are wholly intangible (see cyc#Intangible) or have at least one intangible (i.e. immaterial) part (see cyc#intangibleParts). This includes intangible individuals, such as instances of cyc#Number-General  or cyc#Agreement, as well as non-individuals (all of which are intangible), i.e. instances of cyc#SetOrCollection.  It also includes things that have both tangible and intangible components (see cyc#CompositeTangibleAndIntangibleObject),  such as a printed copy of a newspaper (as its information content is intangible) or a person (as her mental states are intangible).
                                         supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
     supertype:  graph_oriented_language
        supertype:  KR_language__KRL__KR_model_or_notation
           supertype:  KM_structure
  supertype:  KR_notation
     supertype:  KR_language__KRL__KR_model_or_notation

1 statement is about an indirect instance of CG_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