No TPTP formula. May not be expressible in strict first order. |
naics.kif 10751-10751 |
子屬性 商學院和計算機及管理培訓 and 教育服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10745-10745 |
子屬性 大學和專業學校 and 教育服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10871-10871 |
子屬性 教育支持服務 and 教育服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10733-10733 |
子屬性 小學和中學 and 教育服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10739-10739 |
子屬性 大專行業 and 教育服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10814-10814 |
子屬性 其他學校和指導 and 教育服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10779-10779 |
子屬性 技術和貿易學校 and 教育服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21282-21282 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21281-21281 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21280-21280 |
|