No TPTP formula. May not be expressible in strict first order. |
naics.kif 9017-9017 |
广播和电信 是 信息产业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9128-9128 |
信息服务和数据处理服务 是 信息产业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8904-8904 |
电影和录音行业 是 信息产业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8837-8837 |
出版业 是 信息产业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30025-30025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30024-30024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30023-30023 |
|