No TPTP formula. May not be expressible in strict first order. |
naics.kif 11763-11763 |
子屬性 汽車車身漆內部和玻璃修復 and 汽車維修和保養 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11728-11728 |
子屬性 汽車機電維修 and 汽車維修和保養 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11785-11785 |
子屬性 其他汽車維修和保養 and 汽車維修和保養 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9288-9288 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9287-9287 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9286-9286 |
|