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 12697-12697 | �crire Est une sous-classe de d�veloppement de contenu |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12703-12703 | Encoder est une sous-classe de �crire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12709-12709 | Decoder est une sous-classe de �crire |