TreeView Knowledge Base Browser - TelecommunicationsResellers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9108-9111
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8753-8753
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9725-9725
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9726-9726
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9727-9727
No TPTP formula. May not be expressible in strict first order.	naics.kif 9106-9106	子屬性電信經銷商 and 電信

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57266-57266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57265-57265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57264-57264