No TPTP formula. May not be expressible in strict first order. | Merge.kif 1460-1460 | Langage construit est une sous-classe de langage humain |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1461-1461 | Langage construit est une sous-classe de language artificiel |