isNotPerfect

2 triples
GPTKB property

Random triples
Subject Object
gptkb:cofinite_topology true
gptkb:BS(m,_n) if |m|,|n|>1