No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12719-12719 | Escrever e' uma sub-classe de Desenvolvimento de Conteudo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12725-12725 | Codificar e' uma sub-classe de Escrever |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12731-12731 | Decodificar e' uma sub-classe de Escrever |