ContentDevelopment(内容制作) |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2539-2539 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 807-807 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 426-426 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 876-876 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 391-391 |