Disambiguation evidence for TPTP via surface form
"TPTP CNF format"
Triples (1)
Triples where some other subject referred to this entity
as "TPTP CNF format".
Disambiguation evidence for TPTP via surface form
Triples where some other subject referred to this entity
as "TPTP CNF format".