Axiom
Contenu
Titre (dcterms:title)
Axiom
Identifiant (dcterms:identifier)
owl:Axiom
type (rdf:type)
comment (rdfs:comment)
The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.
isDefinedBy (rdfs:isDefinedBy)
label (rdfs:label)
Axiom
Collections
Annotations
There are no annotations for this resource.