| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15250-15250 | 子類 過境障礙 and Object |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3065-3065 | 子類 壩 and 過境障礙 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3071-3071 | 子類 運河閘門 and 過境障礙 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15255-15255 | 子類 門 and 過境障礙 |
|
|