isConsistentRelativeTo

3 triples
GPTKB property

Random triples
Subject Object
gptkb:ZFC no known contradiction
gptkb:Morse–Kelley_Set_Theory Zermelo–Fraenkel set theory with Choice
gptkb:MK_set_theory gptkb:ZFC_set_theory