No TPTP formula. May not be expressible in strict first order. |
naics.kif 10758-10758 |
子屬性 商業和秘書學校 and 商學院和計算機及管理培訓 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10765-10765 |
子屬性 電腦培訓 and 商學院和計算機及管理培訓 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10771-10771 |
子屬性 專業和管理發展培訓 and 商學院和計算機及管理培訓 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12469-12469 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12468-12468 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12467-12467 |
|