No TPTP formula. May not be expressible in strict first order. |
naics.kif 9694-9694 |
子屬性 汽車設備租賃和租賃 and 租賃和出租服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9799-9799 |
子屬性 商業和工業機械設備租賃和租賃 and 租賃和出租服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9736-9736 |
子屬性 消費品租賃 and 租賃和出租服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9793-9793 |
子屬性 一般租賃中心 and 租賃和出租服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49486-49486 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49485-49485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49484-49484 |
|