No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24235-24245 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24194-24205 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3392-3396 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1954-1954 | Integer is a subclass of rational number |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1960-1960 | Even integer is a subclass of integer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1965-1965 | Odd integer is a subclass of integer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1970-1970 | Prime number is a subclass of integer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1975-1975 | Nonnegative integer is a subclass of integer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1985-1985 | Negative integer is a subclass of integer |