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

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