No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6374-6374 |
Temperate rain forest is a subclass of rain forest |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6372-6372 |
Tropical rain forest is a subclass of rain forest |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48686-48686 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48685-48685 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48684-48684 |
|