No TPTP formula. May not be expressible in strict first order. |
naics.kif 10799-10799 |
学徒培训 是 技术和贸易学校 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10785-10785 |
美容和理发学校 是 技术和贸易学校 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10792-10792 |
飞行训练 是 技术和贸易学校 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10806-10806 |
其他技术和贸易学校 是 技术和贸易学校 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57199-57199 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57198-57198 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57197-57197 |
|