No TPTP formula. May not be expressible in strict first order. |
naics.kif 7306-7306 |
子屬性 托兒所和花園中心 and 草坪和園藝設備和用品商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7299-7299 |
子屬性 戶外動力設備商店 and 草坪和園藝設備和用品商店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33557-33557 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33556-33556 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33555-33555 |
|