No TPTP formula. May not be expressible in strict first order. |
naics.kif 8324-8324 |
子屬性 專用貨物除了二手貨運卡車當地 and 專業貨運卡車 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8331-8331 |
子屬性 專用貨物除了二手貨車長途運輸 and 專業貨運卡車 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8317-8317 |
子屬性 用於家庭和辦公用品的移動 and 專業貨運卡車 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54524-54524 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54523-54523 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54522-54522 |
|