No TPTP formula. May not be expressible in strict first order. |
naics.kif 9017-9017 |
子屬性 廣播和電信 and 信息產業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9128-9128 |
子屬性 信息服務和數據處理服務 and 信息產業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8904-8904 |
子屬性 電影和錄音行業 and 信息產業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8837-8837 |
子屬性 出版業 and 信息產業 |
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 |
|