restrictedForm

URI: https://gptkb.org/prop/restrictedForm
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Comprehension_principle gptkb:Axiom_schema_of_separation
gptkb:comprehension_axiom gptkb:axiom_schema_of_separation