No TPTP formula. May not be expressible in strict first order. |
naics.kif 5810-5810 |
其他汽车电气电子设备制造业 是 汽车电气电子设备制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5803-5803 |
车辆照明设备制造业 是 汽车电气电子设备制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38895-38895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38894-38894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38893-38893 |
|