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 |
|