|
|
  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 | 例 卡車運輸 and 行業屬性 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8277-8277 | 子屬性 一般貨運卡車 and 卡車運輸 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8311-8311 | 子屬性 專業貨運卡車 and 卡車運輸 |
| 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 |
|
|
|
|
