No TPTP formula. May not be expressible in strict first order. | Merge.kif 1911-1911 | Nombre rationnel est une sous-classe de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1954-1954 | Nombre entier est une sous-classe de nombre rationnel |
![]() |