No TPTP formula. May not be expressible in strict first order. |
naics.kif 9807-9807 |
子屬性 建築運輸採礦和林業機械設備租賃和租賃 and 商業和工業機械設備租賃和租賃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9833-9833 |
子屬性 辦公機械設備租賃和租賃 and 商業和工業機械設備租賃和租賃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9840-9840 |
子屬性 其他商業和工業機械設備租賃和承租 and 商業和工業機械設備租賃和租賃 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15786-15786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15785-15785 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15784-15784 |
|