isNotPerfect

2 triples
GPTKB property

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