| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4693-4699 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4629-4634 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4839-4843 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15058-15058 | 种子 是 繁殖体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15059-15059 | 种子 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3391-3391 | 芝麻 是 种子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4026-4026 | 谷物 是 种子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4112-4112 | 豌豆 是 种子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4497-4497 | 诺福克岛松籽 是 种子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4500-4500 | Kentia棕榈种子 是 种子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4503-4503 | 葵花籽 是 种子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4509-4509 | 油籽 是 种子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4624-4624 | 咖啡豆 是 种子 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4686-4686 | 可可豆 是 种子 的 subclass |
|
|