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 |
温带雨林 是 雨林 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6373-6373 |
温带雨林 是 温带硬木林 的 subclass |