more pictures...| Telecommunications(telecommunications)
more pictures... |
| 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 is a subattribute of broadcasting and telecommunications |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9120-9120 | Other telecommunications is a subattribute of telecommunications |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9113-9113 | Satellite telecommunications is a subattribute of telecommunications |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9106-9106 | Telecommunications resellers is a subattribute of telecommunications |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9079-9079 | Wired telecommunications carriers is a subattribute of telecommunications |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9086-9086 | Wireless telecommunications carriers except satellite is a subattribute of 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 |
|
|
|