km#predicate_logic_oriented_language
  supertype:  KR_language__KRL__KR_model_or_notation
  subtype:  KIF
  subtype:  CYCL

1 statement is about an indirect instance of predicate_logic_oriented_language (KIF): graph8_on_article
  click here to display them or click here for a search form or here to add a statement