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	发电输配电是公用事业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 987-987	发电是发电输配电的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 1021-1021	电力传输控制和分配是发电输配电的 subAttribute
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