No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24236-24246 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24195-24206 |
|
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 | Numero Inteiro e' uma sub-classe de Numero Racional |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1960-1960 | Inteiro Par e' uma sub-classe de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1965-1965 | Inteiro Impar e' uma sub-classe de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1970-1970 | Numero Primo e' uma sub-classe de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1975-1975 | Numero Inteiro nao-negativo e' uma sub-classe de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1985-1985 | Inteiro negativo e' uma sub-classe de Numero Inteiro |