TreeView Knowledge Base Browser - Telecommunications

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9075-9077
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6917-6917
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8071-8071
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8072-8072
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8073-8073
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8074-8074
No TPTP formula. May not be expressible in strict first order.	naics.kif 9073-9073	子屬性電信 and 廣播和電信

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9120-9120	子屬性其他電信 and 電信
No TPTP formula. May not be expressible in strict first order.	naics.kif 9113-9113	子屬性衛星通信 and 電信
No TPTP formula. May not be expressible in strict first order.	naics.kif 9106-9106	子屬性電信經銷商 and 電信
No TPTP formula. May not be expressible in strict first order.	naics.kif 9079-9079	子屬性有線電信運營商 and 電信
No TPTP formula. May not be expressible in strict first order.	naics.kif 9086-9086	子屬性除衛星外的無線電信運營商 and 電信
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2353-2353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57260-57260
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2352-2352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57259-57259
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2351-2351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57258-57258
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2354-2354