No TPTP formula. May not be expressible in strict first order. |
naics.kif 11770-11770 |
子屬性 汽車車身漆和內部維修保養 and 汽車車身漆內部和玻璃修復 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11778-11778 |
子屬性 汽車玻璃更換店 and 汽車車身漆內部和玻璃修復 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9240-9240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9239-9239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9238-9238 |
|