TreeView Knowledge Base Browser - WirelessTelecommunicationsCarriersExceptSatellite

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9088-9091
No TPTP formula. May not be expressible in strict first order.	naics.kif 9086-9086	子屬性除衛星外的無線電信運營商 and 電信

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9099-9099	子屬性蜂窩和其他無線電信 and 除衛星外的無線電信運營商
No TPTP formula. May not be expressible in strict first order.	naics.kif 9093-9093	子屬性分頁 and 除衛星外的無線電信運營商
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63231-63231
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63230-63230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63229-63229