| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | 子類 StreamWaterArea and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9033-9033 | 子類 StreamWaterArea and 流動區域 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5472-5472 | 子類 河 and StreamWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5546-5546 | 子類 瀑布 and StreamWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5633-5633 | 子類 急流 and StreamWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5656-5656 | 子類 河口 and StreamWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5673-5673 | 子類 溪 and StreamWaterArea |
|
|