is a theorem that can be applied in

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Pascal's_Theorem the field of robotics