oio.pl

Autogenerated by rdfs2pl -- see https://github.com/cmungall/rdfs2pl/

    4:-module(oio,[obsolete_class/1,synonym_type/1,obsolete_property/2,subset_property/2,synonym_type_property/2,consider/2,has_alternative_id/2,has_broad_synonym/2,has_date/2,has_dbxref/2,has_default_namespace/2,has_exact_synonym/2,has_narrow_synonym/2,has_obo_namespace/2,has_related_synonym/2,has_subset/2,has_synonym/2,has_synonym_type/2,has_URI/2,has_version/2,in_subset/2,is_cyclic/2,replaced_by/2,saved_by/2,obsolete_property/3,subset_property/3,synonym_type_property/3,consider/3,has_alternative_id/3,has_broad_synonym/3,has_date/3,has_dbxref/3,has_default_namespace/3,has_exact_synonym/3,has_narrow_synonym/3,has_obo_namespace/3,has_related_synonym/3,has_subset/3,has_synonym/3,has_synonym_type/3,has_URI/3,has_version/3,in_subset/3,is_cyclic/3,replaced_by/3,saved_by/3,obsolete_property_node/3,subset_property_node/3,synonym_type_property_node/3,consider_node/3,has_alternative_id_node/3,has_broad_synonym_node/3,has_date_node/3,has_dbxref_node/3,has_default_namespace_node/3,has_exact_synonym_node/3,has_narrow_synonym_node/3,has_obo_namespace_node/3,has_related_synonym_node/3,has_subset_node/3,has_synonym_node/3,has_synonym_type_node/3,has_URI_node/3,has_version_node/3,in_subset_node/3,is_cyclic_node/3,replaced_by_node/3,saved_by_node/3,obsolete_property_node/4,subset_property_node/4,synonym_type_property_node/4,consider_node/4,has_alternative_id_node/4,has_broad_synonym_node/4,has_date_node/4,has_dbxref_node/4,has_default_namespace_node/4,has_exact_synonym_node/4,has_narrow_synonym_node/4,has_obo_namespace_node/4,has_related_synonym_node/4,has_subset_node/4,has_synonym_node/4,has_synonym_type_node/4,has_URI_node/4,has_version_node/4,in_subset_node/4,is_cyclic_node/4,replaced_by_node/4,saved_by_node/4,obsolete_property_axiom/3,subset_property_axiom/3,synonym_type_property_axiom/3,consider_axiom/3,has_alternative_id_axiom/3,has_broad_synonym_axiom/3,has_date_axiom/3,has_dbxref_axiom/3,has_default_namespace_axiom/3,has_exact_synonym_axiom/3,has_narrow_synonym_axiom/3,has_obo_namespace_axiom/3,has_related_synonym_axiom/3,has_subset_axiom/3,has_synonym_axiom/3,has_synonym_type_axiom/3,has_URI_axiom/3,has_version_axiom/3,in_subset_axiom/3,is_cyclic_axiom/3,replaced_by_axiom/3,saved_by_axiom/3,obsolete_property_axiom/4,subset_property_axiom/4,synonym_type_property_axiom/4,consider_axiom/4,has_alternative_id_axiom/4,has_broad_synonym_axiom/4,has_date_axiom/4,has_dbxref_axiom/4,has_default_namespace_axiom/4,has_exact_synonym_axiom/4,has_narrow_synonym_axiom/4,has_obo_namespace_axiom/4,has_related_synonym_axiom/4,has_subset_axiom/4,has_synonym_axiom/4,has_synonym_type_axiom/4,has_URI_axiom/4,has_version_axiom/4,in_subset_axiom/4,is_cyclic_axiom/4,replaced_by_axiom/4,saved_by_axiom/4,op(300,xfy,obsolete_property),op(300,xfy,subset_property),op(300,xfy,synonym_type_property),op(300,xfy,consider),op(300,xfy,has_alternative_id),op(300,xfy,has_broad_synonym),op(300,xfy,has_date),op(300,xfy,has_dbxref),op(300,xfy,has_default_namespace),op(300,xfy,has_exact_synonym),op(300,xfy,has_narrow_synonym),op(300,xfy,has_obo_namespace),op(300,xfy,has_related_synonym),op(300,xfy,has_subset),op(300,xfy,has_synonym),op(300,xfy,has_synonym_type),op(300,xfy,has_URI),op(300,xfy,has_version),op(300,xfy,in_subset),op(300,xfy,is_cyclic),op(300,xfy,replaced_by),op(300,xfy,saved_by)]).    5:-use_module(library(semweb/rdf11)).    6:-use_module(library(semweb/rdfs)).    7
    8:-op(300,xfy,obsolete_property).    9:-op(300,xfy,subset_property).   10:-op(300,xfy,synonym_type_property).   11:-op(300,xfy,consider).   12:-op(300,xfy,has_alternative_id).   13:-op(300,xfy,has_broad_synonym).   14:-op(300,xfy,has_date).   15:-op(300,xfy,has_dbxref).   16:-op(300,xfy,has_default_namespace).   17:-op(300,xfy,has_exact_synonym).   18:-op(300,xfy,has_narrow_synonym).   19:-op(300,xfy,has_obo_namespace).   20:-op(300,xfy,has_related_synonym).   21:-op(300,xfy,has_subset).   22:-op(300,xfy,has_synonym).   23:-op(300,xfy,has_synonym_type).   24:-op(300,xfy,has_URI).   25:-op(300,xfy,has_version).   26:-op(300,xfy,in_subset).   27:-op(300,xfy,is_cyclic).   28:-op(300,xfy,replaced_by).   29:-op(300,xfy,saved_by).   30
   31:-rdf_meta oio:obsolete_class(r).
   32
   33:-rdf_meta oio:synonym_type(r).
   34
   35:-rdf_meta oio:consider(r,r).
   36
   37:-rdf_meta oio:has_URI(r,r).
   38
   39:-rdf_meta oio:has_alternative_id(r,r).
   40
   41:-rdf_meta oio:has_broad_synonym(r,r).
   42
   43:-rdf_meta oio:has_date(r,r).
   44
   45:-rdf_meta oio:has_dbxref(r,r).
   46
   47:-rdf_meta oio:has_default_namespace(r,r).
   48
   49:-rdf_meta oio:has_exact_synonym(r,r).
   50
   51:-rdf_meta oio:has_narrow_synonym(r,r).
   52
   53:-rdf_meta oio:has_obo_namespace(r,r).
   54
   55:-rdf_meta oio:has_related_synonym(r,r).
   56
   57:-rdf_meta oio:has_subset(r,r).
   58
   59:-rdf_meta oio:has_synonym(r,r).
   60
   61:-rdf_meta oio:has_synonym_type(r,r).
   62
   63:-rdf_meta oio:has_version(r,r).
   64
   65:-rdf_meta oio:in_subset(r,r).
   66
   67:-rdf_meta oio:is_cyclic(r,r).
   68
   69:-rdf_meta oio:obsolete_property(r,r).
   70
   71:-rdf_meta oio:replaced_by(r,r).
   72
   73:-rdf_meta oio:saved_by(r,r).
   74
   75:-rdf_meta oio:subclass_of_obsolete_property(r,r).
   76
   77:-rdf_meta oio:subset_property(r,r).
   78
   79:-rdf_meta oio:synonym_type_property(r,r).
   80
   81:-rdf_meta oio:consider(r,r,g).
   82
   83:-rdf_meta oio:consider_axiom(r,r,r).
   84
   85:-rdf_meta oio:consider_node(r,r,r).
   86
   87:-rdf_meta oio:has_URI(r,r,g).
   88
   89:-rdf_meta oio:has_URI_axiom(r,r,r).
   90
   91:-rdf_meta oio:has_URI_node(r,r,r).
   92
   93:-rdf_meta oio:has_alternative_id(r,r,g).
   94
   95:-rdf_meta oio:has_alternative_id_axiom(r,r,r).
   96
   97:-rdf_meta oio:has_alternative_id_node(r,r,r).
   98
   99:-rdf_meta oio:has_broad_synonym(r,r,g).
  100
  101:-rdf_meta oio:has_broad_synonym_axiom(r,r,r).
  102
  103:-rdf_meta oio:has_broad_synonym_node(r,r,r).
  104
  105:-rdf_meta oio:has_date(r,r,g).
  106
  107:-rdf_meta oio:has_date_axiom(r,r,r).
  108
  109:-rdf_meta oio:has_date_node(r,r,r).
  110
  111:-rdf_meta oio:has_dbxref(r,r,g).
  112
  113:-rdf_meta oio:has_dbxref_axiom(r,r,r).
  114
  115:-rdf_meta oio:has_dbxref_node(r,r,r).
  116
  117:-rdf_meta oio:has_default_namespace(r,r,g).
  118
  119:-rdf_meta oio:has_default_namespace_axiom(r,r,r).
  120
  121:-rdf_meta oio:has_default_namespace_node(r,r,r).
  122
  123:-rdf_meta oio:has_exact_synonym(r,r,g).
  124
  125:-rdf_meta oio:has_exact_synonym_axiom(r,r,r).
  126
  127:-rdf_meta oio:has_exact_synonym_node(r,r,r).
  128
  129:-rdf_meta oio:has_narrow_synonym(r,r,g).
  130
  131:-rdf_meta oio:has_narrow_synonym_axiom(r,r,r).
  132
  133:-rdf_meta oio:has_narrow_synonym_node(r,r,r).
  134
  135:-rdf_meta oio:has_obo_namespace(r,r,g).
  136
  137:-rdf_meta oio:has_obo_namespace_axiom(r,r,r).
  138
  139:-rdf_meta oio:has_obo_namespace_node(r,r,r).
  140
  141:-rdf_meta oio:has_related_synonym(r,r,g).
  142
  143:-rdf_meta oio:has_related_synonym_axiom(r,r,r).
  144
  145:-rdf_meta oio:has_related_synonym_node(r,r,r).
  146
  147:-rdf_meta oio:has_subset(r,r,g).
  148
  149:-rdf_meta oio:has_subset_axiom(r,r,r).
  150
  151:-rdf_meta oio:has_subset_node(r,r,r).
  152
  153:-rdf_meta oio:has_synonym(r,r,g).
  154
  155:-rdf_meta oio:has_synonym_axiom(r,r,r).
  156
  157:-rdf_meta oio:has_synonym_node(r,r,r).
  158
  159:-rdf_meta oio:has_synonym_type(r,r,g).
  160
  161:-rdf_meta oio:has_synonym_type_axiom(r,r,r).
  162
  163:-rdf_meta oio:has_synonym_type_node(r,r,r).
  164
  165:-rdf_meta oio:has_version(r,r,g).
  166
  167:-rdf_meta oio:has_version_axiom(r,r,r).
  168
  169:-rdf_meta oio:has_version_node(r,r,r).
  170
  171:-rdf_meta oio:in_subset(r,r,g).
  172
  173:-rdf_meta oio:in_subset_axiom(r,r,r).
  174
  175:-rdf_meta oio:in_subset_node(r,r,r).
  176
  177:-rdf_meta oio:is_cyclic(r,r,g).
  178
  179:-rdf_meta oio:is_cyclic_axiom(r,r,r).
  180
  181:-rdf_meta oio:is_cyclic_node(r,r,r).
  182
  183:-rdf_meta oio:obsolete_property(r,r,g).
  184
  185:-rdf_meta oio:obsolete_property_axiom(r,r,r).
  186
  187:-rdf_meta oio:obsolete_property_node(r,r,r).
  188
  189:-rdf_meta oio:replaced_by(r,r,g).
  190
  191:-rdf_meta oio:replaced_by_axiom(r,r,r).
  192
  193:-rdf_meta oio:replaced_by_node(r,r,r).
  194
  195:-rdf_meta oio:saved_by(r,r,g).
  196
  197:-rdf_meta oio:saved_by_axiom(r,r,r).
  198
  199:-rdf_meta oio:saved_by_node(r,r,r).
  200
  201:-rdf_meta oio:subset_property(r,r,g).
  202
  203:-rdf_meta oio:subset_property_axiom(r,r,r).
  204
  205:-rdf_meta oio:subset_property_node(r,r,r).
  206
  207:-rdf_meta oio:synonym_type_property(r,r,g).
  208
  209:-rdf_meta oio:synonym_type_property_axiom(r,r,r).
  210
  211:-rdf_meta oio:synonym_type_property_node(r,r,r).
  212
  213:-rdf_meta oio:consider_axiom(r,r,g,r).
  214
  215:-rdf_meta oio:consider_node(r,r,g,r).
  216
  217:-rdf_meta oio:has_URI_axiom(r,r,g,r).
  218
  219:-rdf_meta oio:has_URI_node(r,r,g,r).
  220
  221:-rdf_meta oio:has_alternative_id_axiom(r,r,g,r).
  222
  223:-rdf_meta oio:has_alternative_id_node(r,r,g,r).
  224
  225:-rdf_meta oio:has_broad_synonym_axiom(r,r,g,r).
  226
  227:-rdf_meta oio:has_broad_synonym_node(r,r,g,r).
  228
  229:-rdf_meta oio:has_date_axiom(r,r,g,r).
  230
  231:-rdf_meta oio:has_date_node(r,r,g,r).
  232
  233:-rdf_meta oio:has_dbxref_axiom(r,r,g,r).
  234
  235:-rdf_meta oio:has_dbxref_node(r,r,g,r).
  236
  237:-rdf_meta oio:has_default_namespace_axiom(r,r,g,r).
  238
  239:-rdf_meta oio:has_default_namespace_node(r,r,g,r).
  240
  241:-rdf_meta oio:has_exact_synonym_axiom(r,r,g,r).
  242
  243:-rdf_meta oio:has_exact_synonym_node(r,r,g,r).
  244
  245:-rdf_meta oio:has_narrow_synonym_axiom(r,r,g,r).
  246
  247:-rdf_meta oio:has_narrow_synonym_node(r,r,g,r).
  248
  249:-rdf_meta oio:has_obo_namespace_axiom(r,r,g,r).
  250
  251:-rdf_meta oio:has_obo_namespace_node(r,r,g,r).
  252
  253:-rdf_meta oio:has_related_synonym_axiom(r,r,g,r).
  254
  255:-rdf_meta oio:has_related_synonym_node(r,r,g,r).
  256
  257:-rdf_meta oio:has_subset_axiom(r,r,g,r).
  258
  259:-rdf_meta oio:has_subset_node(r,r,g,r).
  260
  261:-rdf_meta oio:has_synonym_axiom(r,r,g,r).
  262
  263:-rdf_meta oio:has_synonym_node(r,r,g,r).
  264
  265:-rdf_meta oio:has_synonym_type_axiom(r,r,g,r).
  266
  267:-rdf_meta oio:has_synonym_type_node(r,r,g,r).
  268
  269:-rdf_meta oio:has_version_axiom(r,r,g,r).
  270
  271:-rdf_meta oio:has_version_node(r,r,g,r).
  272
  273:-rdf_meta oio:in_subset_axiom(r,r,g,r).
  274
  275:-rdf_meta oio:in_subset_node(r,r,g,r).
  276
  277:-rdf_meta oio:is_cyclic_axiom(r,r,g,r).
  278
  279:-rdf_meta oio:is_cyclic_node(r,r,g,r).
  280
  281:-rdf_meta oio:obsolete_property_axiom(r,r,g,r).
  282
  283:-rdf_meta oio:obsolete_property_node(r,r,g,r).
  284
  285:-rdf_meta oio:replaced_by_axiom(r,r,g,r).
  286
  287:-rdf_meta oio:replaced_by_node(r,r,g,r).
  288
  289:-rdf_meta oio:saved_by_axiom(r,r,g,r).
  290
  291:-rdf_meta oio:saved_by_node(r,r,g,r).
  292
  293:-rdf_meta oio:subset_property_axiom(r,r,g,r).
  294
  295:-rdf_meta oio:subset_property_node(r,r,g,r).
  296
  297:-rdf_meta oio:synonym_type_property_axiom(r,r,g,r).
  298
  299:-rdf_meta oio:synonym_type_property_node(r,r,g,r).

obsolete_class(I): Any instance of http://www.geneontology.org/formats/oboInOwl#ObsoleteClass

  305oio:obsolete_class(I):-rdfs_individual_of(I,'http://www.geneontology.org/formats/oboInOwl#ObsoleteClass').

synonym_type(I): Any instance of http://www.geneontology.org/formats/oboInOwl#SynonymType

  311oio:synonym_type(I):-rdfs_individual_of(I,'http://www.geneontology.org/formats/oboInOwl#SynonymType').

consider(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#consider

  317oio:consider(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#consider',J).

has_URI(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasURI

  323oio:has_URI(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasURI',J).

has_alternative_id(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasAlternativeId

  329oio:has_alternative_id(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId',J).

has_broad_synonym(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym

  335oio:has_broad_synonym(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym',J).

has_date(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasDate

  341oio:has_date(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasDate',J).

has_dbxref(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasDbXref

  347oio:has_dbxref(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasDbXref',J).

has_default_namespace(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace

  353oio:has_default_namespace(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace',J).

has_exact_synonym(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasExactSynonym

  359oio:has_exact_synonym(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym',J).

has_narrow_synonym(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym

  365oio:has_narrow_synonym(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym',J).

has_obo_namespace(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasOBONamespace

  371oio:has_obo_namespace(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace',J).

has_related_synonym(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym

  377oio:has_related_synonym(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym',J).

has_subset(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasSubset

  383oio:has_subset(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasSubset',J).

has_synonym(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasSynonym

  389oio:has_synonym(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonym',J).

has_synonym_type(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasSynonymType

  395oio:has_synonym_type(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType',J).

has_version(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#hasVersion

  401oio:has_version(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#hasVersion',J).

in_subset(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#inSubset

  407oio:in_subset(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#inSubset',J).

is_cyclic(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#isCyclic

  413oio:is_cyclic(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#isCyclic',J).

obsolete_property(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty

  419oio:obsolete_property(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty',J).

replaced_by(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#replacedBy

  425oio:replaced_by(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#replacedBy',J).

saved_by(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#savedBy

  431oio:saved_by(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#savedBy',J).

subclass_of_obsolete_property(I, J): As subclass_of_obsolete_property/2 , TODO

  437oio:subclass_of_obsolete_property(I,J):-rdf(I,rdfs:subClassOf,I),rdf(I,owl:onProperty,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty'),rdf(I,owl:someValuesFrom,J).

subset_property(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#SubsetProperty

  443oio:subset_property(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty',J).

synonym_type_property(I, J): Any relationship of type http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty

  449oio:synonym_type_property(I,J):-rdf_has(I,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty',J).

consider(I, J, K): As consider/2 where asserted in graph

  455oio:consider(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#consider',J,K).

consider_axiom(I, J, K): As consider_axiom/2 , where owl-reified by node

  461oio:consider_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#consider',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#consider'),rdf(K,owl:annotatedTarget,J).
  462
  463oio:consider_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#consider',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#consider'),rdf(K,rdf:object,J).

has_URI(I, J, K): As has_URI/2 where asserted in graph

  469oio:has_URI(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasURI',J,K).

has_URI_axiom(I, J, K): As has_URI_axiom/2 , where owl-reified by node

  475oio:has_URI_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasURI',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasURI'),rdf(K,owl:annotatedTarget,J).
  476
  477oio:has_URI_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasURI',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasURI'),rdf(K,rdf:object,J).

has_alternative_id(I, J, K): As has_alternative_id/2 where asserted in graph

  483oio:has_alternative_id(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId',J,K).

has_alternative_id_axiom(I, J, K): As has_alternative_id_axiom/2 , where owl-reified by node

  489oio:has_alternative_id_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId'),rdf(K,owl:annotatedTarget,J).
  490
  491oio:has_alternative_id_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId'),rdf(K,rdf:object,J).

has_broad_synonym(I, J, K): As has_broad_synonym/2 where asserted in graph

  497oio:has_broad_synonym(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym',J,K).

has_broad_synonym_axiom(I, J, K): As has_broad_synonym_axiom/2 , where owl-reified by node

  503oio:has_broad_synonym_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym'),rdf(K,owl:annotatedTarget,J).
  504
  505oio:has_broad_synonym_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym'),rdf(K,rdf:object,J).

has_date(I, J, K): As has_date/2 where asserted in graph

  511oio:has_date(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDate',J,K).

has_date_axiom(I, J, K): As has_date_axiom/2 , where owl-reified by node

  517oio:has_date_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDate',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasDate'),rdf(K,owl:annotatedTarget,J).
  518
  519oio:has_date_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDate',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasDate'),rdf(K,rdf:object,J).

has_dbxref(I, J, K): As has_dbxref/2 where asserted in graph

  525oio:has_dbxref(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDbXref',J,K).

has_dbxref_axiom(I, J, K): As has_dbxref_axiom/2 , where owl-reified by node

  531oio:has_dbxref_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDbXref',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasDbXref'),rdf(K,owl:annotatedTarget,J).
  532
  533oio:has_dbxref_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDbXref',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasDbXref'),rdf(K,rdf:object,J).

has_default_namespace(I, J, K): As has_default_namespace/2 where asserted in graph

  539oio:has_default_namespace(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace',J,K).

has_default_namespace_axiom(I, J, K): As has_default_namespace_axiom/2 , where owl-reified by node

  545oio:has_default_namespace_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace'),rdf(K,owl:annotatedTarget,J).
  546
  547oio:has_default_namespace_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace'),rdf(K,rdf:object,J).

has_exact_synonym(I, J, K): As has_exact_synonym/2 where asserted in graph

  553oio:has_exact_synonym(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym',J,K).

has_exact_synonym_axiom(I, J, K): As has_exact_synonym_axiom/2 , where owl-reified by node

  559oio:has_exact_synonym_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym'),rdf(K,owl:annotatedTarget,J).
  560
  561oio:has_exact_synonym_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym'),rdf(K,rdf:object,J).

has_narrow_synonym(I, J, K): As has_narrow_synonym/2 where asserted in graph

  567oio:has_narrow_synonym(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym',J,K).

has_narrow_synonym_axiom(I, J, K): As has_narrow_synonym_axiom/2 , where owl-reified by node

  573oio:has_narrow_synonym_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym'),rdf(K,owl:annotatedTarget,J).
  574
  575oio:has_narrow_synonym_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym'),rdf(K,rdf:object,J).

has_obo_namespace(I, J, K): As has_obo_namespace/2 where asserted in graph

  581oio:has_obo_namespace(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace',J,K).

has_obo_namespace_axiom(I, J, K): As has_obo_namespace_axiom/2 , where owl-reified by node

  587oio:has_obo_namespace_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace'),rdf(K,owl:annotatedTarget,J).
  588
  589oio:has_obo_namespace_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace'),rdf(K,rdf:object,J).

has_related_synonym(I, J, K): As has_related_synonym/2 where asserted in graph

  595oio:has_related_synonym(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym',J,K).

has_related_synonym_axiom(I, J, K): As has_related_synonym_axiom/2 , where owl-reified by node

  601oio:has_related_synonym_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym'),rdf(K,owl:annotatedTarget,J).
  602
  603oio:has_related_synonym_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym'),rdf(K,rdf:object,J).

has_subset(I, J, K): As has_subset/2 where asserted in graph

  609oio:has_subset(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSubset',J,K).

has_subset_axiom(I, J, K): As has_subset_axiom/2 , where owl-reified by node

  615oio:has_subset_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSubset',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasSubset'),rdf(K,owl:annotatedTarget,J).
  616
  617oio:has_subset_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSubset',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasSubset'),rdf(K,rdf:object,J).

has_synonym(I, J, K): As has_synonym/2 where asserted in graph

  623oio:has_synonym(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonym',J,K).

has_synonym_axiom(I, J, K): As has_synonym_axiom/2 , where owl-reified by node

  629oio:has_synonym_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonym',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasSynonym'),rdf(K,owl:annotatedTarget,J).
  630
  631oio:has_synonym_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonym',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasSynonym'),rdf(K,rdf:object,J).

has_synonym_type(I, J, K): As has_synonym_type/2 where asserted in graph

  637oio:has_synonym_type(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType',J,K).

has_synonym_type_axiom(I, J, K): As has_synonym_type_axiom/2 , where owl-reified by node

  643oio:has_synonym_type_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType'),rdf(K,owl:annotatedTarget,J).
  644
  645oio:has_synonym_type_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType'),rdf(K,rdf:object,J).

has_version(I, J, K): As has_version/2 where asserted in graph

  651oio:has_version(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasVersion',J,K).

has_version_axiom(I, J, K): As has_version_axiom/2 , where owl-reified by node

  657oio:has_version_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasVersion',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasVersion'),rdf(K,owl:annotatedTarget,J).
  658
  659oio:has_version_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasVersion',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasVersion'),rdf(K,rdf:object,J).

in_subset(I, J, K): As in_subset/2 where asserted in graph

  665oio:in_subset(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#inSubset',J,K).

in_subset_axiom(I, J, K): As in_subset_axiom/2 , where owl-reified by node

  671oio:in_subset_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#inSubset',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#inSubset'),rdf(K,owl:annotatedTarget,J).
  672
  673oio:in_subset_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#inSubset',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#inSubset'),rdf(K,rdf:object,J).

is_cyclic(I, J, K): As is_cyclic/2 where asserted in graph

  679oio:is_cyclic(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#isCyclic',J,K).

is_cyclic_axiom(I, J, K): As is_cyclic_axiom/2 , where owl-reified by node

  685oio:is_cyclic_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#isCyclic',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#isCyclic'),rdf(K,owl:annotatedTarget,J).
  686
  687oio:is_cyclic_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#isCyclic',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#isCyclic'),rdf(K,rdf:object,J).

obsolete_property(I, J, K): As obsolete_property/2 where asserted in graph

  693oio:obsolete_property(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty',J,K).

obsolete_property_axiom(I, J, K): As obsolete_property_axiom/2 , where owl-reified by node

  699oio:obsolete_property_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty'),rdf(K,owl:annotatedTarget,J).
  700
  701oio:obsolete_property_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty'),rdf(K,rdf:object,J).

replaced_by(I, J, K): As replaced_by/2 where asserted in graph

  707oio:replaced_by(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#replacedBy',J,K).

replaced_by_axiom(I, J, K): As replaced_by_axiom/2 , where owl-reified by node

  713oio:replaced_by_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#replacedBy',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#replacedBy'),rdf(K,owl:annotatedTarget,J).
  714
  715oio:replaced_by_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#replacedBy',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#replacedBy'),rdf(K,rdf:object,J).

saved_by(I, J, K): As saved_by/2 where asserted in graph

  721oio:saved_by(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#savedBy',J,K).

saved_by_axiom(I, J, K): As saved_by_axiom/2 , where owl-reified by node

  727oio:saved_by_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#savedBy',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#savedBy'),rdf(K,owl:annotatedTarget,J).
  728
  729oio:saved_by_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#savedBy',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#savedBy'),rdf(K,rdf:object,J).

subset_property(I, J, K): As subset_property/2 where asserted in graph

  735oio:subset_property(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty',J,K).

subset_property_axiom(I, J, K): As subset_property_axiom/2 , where owl-reified by node

  741oio:subset_property_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty'),rdf(K,owl:annotatedTarget,J).
  742
  743oio:subset_property_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty'),rdf(K,rdf:object,J).

synonym_type_property(I, J, K): As synonym_type_property/2 where asserted in graph

  749oio:synonym_type_property(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty',J,K).

synonym_type_property_axiom(I, J, K): As synonym_type_property_axiom/2 , where owl-reified by node

  755oio:synonym_type_property_axiom(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty',J),rdf(K,owl:annotatedSource,I),rdf(K,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty'),rdf(K,owl:annotatedTarget,J).
  756
  757oio:synonym_type_property_node(I,J,K):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty',J),rdf(K,rdf:subject,I),rdf(K,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty'),rdf(K,rdf:object,J).

consider_axiom(I, J, K, L): As consider_axiom/2 , where asserted in graph and owl-reified by node

  763oio:consider_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#consider',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#consider'),rdf(L,owl:annotatedTarget,J).

consider_node(I, J, K, L): As consider_node/2 , where asserted in graph and rdf-reified by node

  769oio:consider_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#consider',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#consider'),rdf(L,rdf:object,J).

has_URI_axiom(I, J, K, L): As has_URI_axiom/2 , where asserted in graph and owl-reified by node

  775oio:has_URI_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasURI',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasURI'),rdf(L,owl:annotatedTarget,J).

has_URI_node(I, J, K, L): As has_URI_node/2 , where asserted in graph and rdf-reified by node

  781oio:has_URI_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasURI',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasURI'),rdf(L,rdf:object,J).

has_alternative_id_axiom(I, J, K, L): As has_alternative_id_axiom/2 , where asserted in graph and owl-reified by node

  787oio:has_alternative_id_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId'),rdf(L,owl:annotatedTarget,J).

has_alternative_id_node(I, J, K, L): As has_alternative_id_node/2 , where asserted in graph and rdf-reified by node

  793oio:has_alternative_id_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasAlternativeId'),rdf(L,rdf:object,J).

has_broad_synonym_axiom(I, J, K, L): As has_broad_synonym_axiom/2 , where asserted in graph and owl-reified by node

  799oio:has_broad_synonym_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym'),rdf(L,owl:annotatedTarget,J).

has_broad_synonym_node(I, J, K, L): As has_broad_synonym_node/2 , where asserted in graph and rdf-reified by node

  805oio:has_broad_synonym_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym'),rdf(L,rdf:object,J).

has_date_axiom(I, J, K, L): As has_date_axiom/2 , where asserted in graph and owl-reified by node

  811oio:has_date_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDate',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasDate'),rdf(L,owl:annotatedTarget,J).

has_date_node(I, J, K, L): As has_date_node/2 , where asserted in graph and rdf-reified by node

  817oio:has_date_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDate',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasDate'),rdf(L,rdf:object,J).

has_dbxref_axiom(I, J, K, L): As has_dbxref_axiom/2 , where asserted in graph and owl-reified by node

  823oio:has_dbxref_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDbXref',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasDbXref'),rdf(L,owl:annotatedTarget,J).

has_dbxref_node(I, J, K, L): As has_dbxref_node/2 , where asserted in graph and rdf-reified by node

  829oio:has_dbxref_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDbXref',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasDbXref'),rdf(L,rdf:object,J).

has_default_namespace_axiom(I, J, K, L): As has_default_namespace_axiom/2 , where asserted in graph and owl-reified by node

  835oio:has_default_namespace_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace'),rdf(L,owl:annotatedTarget,J).

has_default_namespace_node(I, J, K, L): As has_default_namespace_node/2 , where asserted in graph and rdf-reified by node

  841oio:has_default_namespace_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasDefaultNamespace'),rdf(L,rdf:object,J).

has_exact_synonym_axiom(I, J, K, L): As has_exact_synonym_axiom/2 , where asserted in graph and owl-reified by node

  847oio:has_exact_synonym_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym'),rdf(L,owl:annotatedTarget,J).

has_exact_synonym_node(I, J, K, L): As has_exact_synonym_node/2 , where asserted in graph and rdf-reified by node

  853oio:has_exact_synonym_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasExactSynonym'),rdf(L,rdf:object,J).

has_narrow_synonym_axiom(I, J, K, L): As has_narrow_synonym_axiom/2 , where asserted in graph and owl-reified by node

  859oio:has_narrow_synonym_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym'),rdf(L,owl:annotatedTarget,J).

has_narrow_synonym_node(I, J, K, L): As has_narrow_synonym_node/2 , where asserted in graph and rdf-reified by node

  865oio:has_narrow_synonym_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym'),rdf(L,rdf:object,J).

has_obo_namespace_axiom(I, J, K, L): As has_obo_namespace_axiom/2 , where asserted in graph and owl-reified by node

  871oio:has_obo_namespace_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace'),rdf(L,owl:annotatedTarget,J).

has_obo_namespace_node(I, J, K, L): As has_obo_namespace_node/2 , where asserted in graph and rdf-reified by node

  877oio:has_obo_namespace_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasOBONamespace'),rdf(L,rdf:object,J).

has_related_synonym_axiom(I, J, K, L): As has_related_synonym_axiom/2 , where asserted in graph and owl-reified by node

  883oio:has_related_synonym_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym'),rdf(L,owl:annotatedTarget,J).

has_related_synonym_node(I, J, K, L): As has_related_synonym_node/2 , where asserted in graph and rdf-reified by node

  889oio:has_related_synonym_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym'),rdf(L,rdf:object,J).

has_subset_axiom(I, J, K, L): As has_subset_axiom/2 , where asserted in graph and owl-reified by node

  895oio:has_subset_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSubset',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasSubset'),rdf(L,owl:annotatedTarget,J).

has_subset_node(I, J, K, L): As has_subset_node/2 , where asserted in graph and rdf-reified by node

  901oio:has_subset_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSubset',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasSubset'),rdf(L,rdf:object,J).

has_synonym_axiom(I, J, K, L): As has_synonym_axiom/2 , where asserted in graph and owl-reified by node

  907oio:has_synonym_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonym',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasSynonym'),rdf(L,owl:annotatedTarget,J).

has_synonym_node(I, J, K, L): As has_synonym_node/2 , where asserted in graph and rdf-reified by node

  913oio:has_synonym_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonym',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasSynonym'),rdf(L,rdf:object,J).

has_synonym_type_axiom(I, J, K, L): As has_synonym_type_axiom/2 , where asserted in graph and owl-reified by node

  919oio:has_synonym_type_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType'),rdf(L,owl:annotatedTarget,J).

has_synonym_type_node(I, J, K, L): As has_synonym_type_node/2 , where asserted in graph and rdf-reified by node

  925oio:has_synonym_type_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasSynonymType'),rdf(L,rdf:object,J).

has_version_axiom(I, J, K, L): As has_version_axiom/2 , where asserted in graph and owl-reified by node

  931oio:has_version_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasVersion',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#hasVersion'),rdf(L,owl:annotatedTarget,J).

has_version_node(I, J, K, L): As has_version_node/2 , where asserted in graph and rdf-reified by node

  937oio:has_version_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#hasVersion',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#hasVersion'),rdf(L,rdf:object,J).

in_subset_axiom(I, J, K, L): As in_subset_axiom/2 , where asserted in graph and owl-reified by node

  943oio:in_subset_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#inSubset',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#inSubset'),rdf(L,owl:annotatedTarget,J).

in_subset_node(I, J, K, L): As in_subset_node/2 , where asserted in graph and rdf-reified by node

  949oio:in_subset_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#inSubset',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#inSubset'),rdf(L,rdf:object,J).

is_cyclic_axiom(I, J, K, L): As is_cyclic_axiom/2 , where asserted in graph and owl-reified by node

  955oio:is_cyclic_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#isCyclic',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#isCyclic'),rdf(L,owl:annotatedTarget,J).

is_cyclic_node(I, J, K, L): As is_cyclic_node/2 , where asserted in graph and rdf-reified by node

  961oio:is_cyclic_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#isCyclic',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#isCyclic'),rdf(L,rdf:object,J).

obsolete_property_axiom(I, J, K, L): As obsolete_property_axiom/2 , where asserted in graph and owl-reified by node

  967oio:obsolete_property_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty'),rdf(L,owl:annotatedTarget,J).

obsolete_property_node(I, J, K, L): As obsolete_property_node/2 , where asserted in graph and rdf-reified by node

  973oio:obsolete_property_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#ObsoleteProperty'),rdf(L,rdf:object,J).

replaced_by_axiom(I, J, K, L): As replaced_by_axiom/2 , where asserted in graph and owl-reified by node

  979oio:replaced_by_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#replacedBy',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#replacedBy'),rdf(L,owl:annotatedTarget,J).

replaced_by_node(I, J, K, L): As replaced_by_node/2 , where asserted in graph and rdf-reified by node

  985oio:replaced_by_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#replacedBy',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#replacedBy'),rdf(L,rdf:object,J).

saved_by_axiom(I, J, K, L): As saved_by_axiom/2 , where asserted in graph and owl-reified by node

  991oio:saved_by_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#savedBy',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#savedBy'),rdf(L,owl:annotatedTarget,J).

saved_by_node(I, J, K, L): As saved_by_node/2 , where asserted in graph and rdf-reified by node

  997oio:saved_by_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#savedBy',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#savedBy'),rdf(L,rdf:object,J).

subset_property_axiom(I, J, K, L): As subset_property_axiom/2 , where asserted in graph and owl-reified by node

 1003oio:subset_property_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty'),rdf(L,owl:annotatedTarget,J).

subset_property_node(I, J, K, L): As subset_property_node/2 , where asserted in graph and rdf-reified by node

 1009oio:subset_property_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#SubsetProperty'),rdf(L,rdf:object,J).

synonym_type_property_axiom(I, J, K, L): As synonym_type_property_axiom/2 , where asserted in graph and owl-reified by node

 1015oio:synonym_type_property_axiom(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty',J,K),rdf(L,owl:annotatedSource,I),rdf(L,owl:annotatedProperty,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty'),rdf(L,owl:annotatedTarget,J).

synonym_type_property_node(I, J, K, L): As synonym_type_property_node/2 , where asserted in graph and rdf-reified by node

 1021oio:synonym_type_property_node(I,J,K,L):-rdf(I,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty',J,K),rdf(L,rdf:subject,I),rdf(L,rdf:predicate,'http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty'),rdf(L,rdf:object,J)