No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 443-443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2822-2822 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2820-2820 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2680-2680 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2821-2821 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2405-2405 |
子類 森林火災 and Combustion |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2716-2716 |
子類 森林火災 and 森林破壞 |