| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24293-24303 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24252-24263 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3393-3397 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1954-1954 | Nombre entier est une sous-classe de nombre rationnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1960-1960 | Nombre entier �gal est une sous-classe de nombre entier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1965-1965 | Nombre entier impair est une sous-classe de nombre entier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1970-1970 | Nombre premier est une sous-classe de nombre entier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1975-1975 | Nombre entier non n�gatif est une sous-classe de nombre entier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1985-1985 | Nombre entier n�gatif est une sous-classe de nombre entier |
|
|