Inherited from Serializable
Inherited by implicit conversion any2stringadd from
TptpFile to any2stringadd[TptpFile]
Inherited by implicit conversion StringFormat from
TptpFile to StringFormat[TptpFile]
Inherited by implicit conversion ArrowAssoc from
TptpFile to ArrowAssoc[TptpFile]