| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4218-4218 | 子類 樸素 and 低地地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5743-5743 | 子類 沿海平原 and 樸素 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6672-6672 | 子類 草原 and 樸素 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6678-6678 | 子類 草原 and 樸素 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6688-6688 | 子類 稀樹草原 and 樸素 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6698-6698 | 子類 草原 and 樸素 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6714-6714 | 子類 大草原 and 樸素 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6728-6728 | 子類 苔原 and 樸素 |
|
|