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