No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5888-5888 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6173-6173 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6175-6175 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6174-6174 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6379-6379 |
子類 針葉林 and 生物群落 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6380-6380 |
子類 針葉林 and 森林 |