No TPTP formula. May not be expressible in strict first order. |
naics.kif 11881-11881 |
子屬性 家電維修和保養 and 家庭和園藝設備和家電維修和保養 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11873-11873 |
子屬性 家庭和園藝設備的維修和保養 and 家庭和園藝設備和家電維修和保養 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28437-28437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28436-28436 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28435-28435 |
|