No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6570-6570 |
Cedar tree is a subclass of conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6575-6575 |
Cypress tree is a subclass of conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6582-6582 |
Fir tree is a subclass of conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6587-6587 |
Larch tree is a subclass of conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6559-6559 |
Pine tree is a subclass of conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6592-6592 |
Spruce tree is a subclass of conifers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64689-64689 |
|