TreeView Knowledge Base Browser - BroadcastingAndTelecommunications

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9019-9021
No TPTP formula. May not be expressible in strict first order.	naics.kif 9017-9017	广播和电信是信息产业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9054-9054	有线网络和程序分发是广播和电信的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9023-9023	广播和电视广播是广播和电信的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9073-9073	电信是广播和电信的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12017-12017
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12016-12016
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12015-12015