| No TPTP formula. May not be expressible in strict first order. | Food.kif 2210-2212 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6255-6255 | 子類 灌木 and WoodyPlant |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6270-6270 | 子類 紫丁香 and 灌木 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4551-4551 | 子類 茶樹 and 灌木 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4598-4598 | 子類 CoffeePlant and 灌木 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4724-4724 | 子類 TeaPlant and 灌木 |
|
|