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 |
子類 溫帶雨林 and 雨林 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6373-6373 |
子類 溫帶雨林 and 溫帶硬木林 |