hasAxiomSchema

P54444 predicate

Indicates that one entity is associated with, defined by, or governed through a particular axiom schema.


Sample triples (2)

Subject Object
ZF replacement
ZF separation