fourthAxiom

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Veblen_axioms If a line meets two sides of a triangle, not at their intersection, it also meets the third side.