No TPTP formula. May not be expressible in strict first order. |
naics.kif 5872-5872 |
子屬性 所有其他汽車零部件製造 and 其他汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5864-5864 |
子屬性 汽車空調製造 and 其他汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43284-43284 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43283-43283 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43282-43282 |
|