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 |
森林火灾 是 燃烧 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2716-2716 |
森林火灾 是 森林破坏 的 subclass |