No TPTP formula. May not be expressible in strict first order. |
naics.kif 6143-6143 |
杂项制造业 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5445-5445 |
电气照明设备制造业 是 电气设备器具和元件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5550-5550 |
电气设备制造业 是 电气设备器具和元件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30978-30978 |
ElectricalProductAttribute 是 电气设备器具和元件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5487-5487 |
家电制造业 是 电气设备器具和元件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5585-5585 |
其他电气设备和部件制造 是 电气设备器具和元件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21504-21504 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21503-21503 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21502-21502 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30977-30977 |
|