No TPTP formula. May not be expressible in strict first order. |
naics.kif 6143-6143 |
不相交的 雜項製造業 and 電氣設備器具和元件製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5445-5445 |
子屬性 電氣照明設備製造業 and 電氣設備器具和元件製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5550-5550 |
子屬性 電氣設備製造業 and 電氣設備器具和元件製造 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31014-31014 |
子屬性 ElectricalProductAttribute and 電氣設備器具和元件製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5487-5487 |
子屬性 家電製造業 and 電氣設備器具和元件製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5585-5585 |
子屬性 其他電氣設備和部件製造 and 電氣設備器具和元件製造 |
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 31013-31013 |
|