| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14430-14430 | 无花植物 是 植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14436-14436 | 藻类 是 无花植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14459-14459 | 苔藓 是 无花植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14463-14463 | 蕨类 是 无花植物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6322-6322 | 青苔 是 无花植物 的 subclass |
|
|