| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | 管道 是 公交专用道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 785-785 | 排污系统 是 管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 797-797 | 原油管道 是 管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 809-809 | 天然气管道 是 管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 821-821 | 石油产品管道 是 管道 的 subclass |
|
|