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	除卫星外的无线电信运营商是电信的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9099-9099	蜂窝和其他无线电信是除卫星外的无线电信运营商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9093-9093	分页是除卫星外的无线电信运营商的 subAttribute
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