| Pipeline(管道)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 774-775 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 874-874 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | 管道 是 公交专用道 的 subclass |
| appearance as argument number 2 |
|
|
| 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 |
| 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. | domainEnglishFormat.kif 45900-45900 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45899-45899 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45898-45898 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 777-783 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 685-692 | 长度测量 是 在地区 地理区域 的 total 管线 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8465-8488 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 694-702 |
|
|
|