The latest release of ENVO contains the following declaration:
<!-- http://www.w3.org/1999/02/22-rdf-syntax-ns#type -->
<owl:AnnotationProperty rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#type"/>
which declares rdf:type as an annotation property.
This has the side-effect of causing all axioms that are annotated with any annotation property, to be also annotated with an additional rdf:type annotation, as can be seen when looking at the ontology in Functional Syntax:
AnnotationAssertion(Annotation(oboInOwl:hasDbXref <https://orcid.org/0000-0002-6601-2165>)
Annotation(rdf:type owl:Axiom)
obo:IAO_0000115 envo:disconnected_from "A is disconnected_from B if they have no parts in common.")
...
AnnotationAssertion(Annotation(oboInOwl:hasDbXref "USGS:SDTS")
Annotation(rdf:type owl:Axiom)
oboInOwl:hasNarrowSynonym obo:ENVO_00000020 "catch basin")
SubObjectPropertyOf(Annotation(obo:RO_0002582 "true"^^xsd:boolean)
Annotation(rdf:type owl:Axiom)
ObjectPropertyChain(obo:RO_0002507 obo:BFO_0000050) obo:RO_0002509)
...
The latest release of ENVO contains the following declaration:
which declares
rdf:typeas an annotation property.This has the side-effect of causing all axioms that are annotated with any annotation property, to be also annotated with an additional
rdf:typeannotation, as can be seen when looking at the ontology in Functional Syntax: