hasAxiom

905 triples
GPTKB property

Alternative names (10)
axiom axiomatizedBy axioms axiomsInclude containsAxiom hasAxiomSystem hasAxioms includesAxiom isAxiomatizationOf satisfiesAxiom