| TruckTransportation(卡车运输)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8249-8251 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8767-8767 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9772-9772 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9773-9773 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9774-9774 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8247-8247 | 卡车运输 是 行业属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8277-8277 | 一般货运卡车 是 卡车运输 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8311-8311 | 专业货运卡车 是 卡车运输 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59312-59312 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59311-59311 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59310-59310 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8253-8275 |
|
|
|
|