TreeView Knowledge Base Browser - ElectricPowerGenerationTransmissionAndDistribution

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 982-985
No TPTP formula. May not be expressible in strict first order.	naics.kif 980-980	子屬性發電輸配電 and 公用事業

appearance as argument number 2

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