TreeView Knowledge Base Browser - ElectricPowerTransmissionControlAndDistribution

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1023-1026
No TPTP formula. May not be expressible in strict first order.	naics.kif 1021-1021	子屬性電力傳輸控制和分配 and 發電輸配電

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1028-1028	子屬性電力大容量電力傳輸與控制 and 電力傳輸控制和分配
No TPTP formula. May not be expressible in strict first order.	naics.kif 1035-1035	子屬性電力分配 and 電力傳輸控制和分配
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21660-21660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21659-21659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21658-21658