No TPTP formula. May not be expressible in strict first order. | Merge.kif 12730-12730 | Translating is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12731-12731 | Translating is a subclass of dual object process |