No TPTP formula. May not be expressible in strict first order. |
naics.kif 9815-9815 |
子屬性 商業航空鐵路和水上運輸設備租賃和租賃 and 建築運輸採礦和林業機械設備租賃和租賃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9824-9824 |
子屬性 建築採礦和林業機械設備租賃和租賃 and 建築運輸採礦和林業機械設備租賃和租賃 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16818-16818 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16817-16817 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16816-16816 |
|