No TPTP formula. May not be expressible in strict first order. |
naics.kif 5872-5872 |
所有其他汽车零部件制造 是 其他汽车零部件制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5864-5864 |
汽车空调制造 是 其他汽车零部件制造业 的 subAttribute |
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 |
|