. . . "The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object." . . "Axiom" . . .