No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3221-3221 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3223-3223 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3002-3002 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3222-3222 |
|
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 6373-6373 |
Temperate rain forest is a subclass of temperate hardwood forest |