No TPTP formula. May not be expressible in strict first order. |
naics.kif 10758-10758 |
商业和秘书学校 是 商学院和计算机及管理培训 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10765-10765 |
电脑培训 是 商学院和计算机及管理培训 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10771-10771 |
专业和管理发展培训 是 商学院和计算机及管理培训 的 subAttribute |
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 |
|