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	Telecommunications est un sous-attribut de BroadcastingAndTelecommunications

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9120-9120	OtherTelecommunications est un sous-attribut de Telecommunications
No TPTP formula. May not be expressible in strict first order.	naics.kif 9113-9113	SatelliteTelecommunications est un sous-attribut de Telecommunications
No TPTP formula. May not be expressible in strict first order.	naics.kif 9106-9106	TelecommunicationsResellers est un sous-attribut de Telecommunications
No TPTP formula. May not be expressible in strict first order.	naics.kif 9079-9079	WiredTelecommunicationsCarriers est un sous-attribut de Telecommunications
No TPTP formula. May not be expressible in strict first order.	naics.kif 9086-9086	WirelessTelecommunicationsCarriersExceptSatellite est un sous-attribut de Telecommunications
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