No TPTP formula. May not be expressible in strict first order. |
naics.kif 8324-8324 |
专用货物除了二手货运卡车当地 是 专业货运卡车 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8331-8331 |
专用货物除了二手货车长途运输 是 专业货运卡车 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8317-8317 |
用于家庭和办公用品的移动 是 专业货运卡车 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54522-54522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54521-54521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54520-54520 |
|