No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18916-18916 | 娱乐专业 是 熟练的职业 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20651-20651 | 戏剧专业 是 娱乐专业 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20675-20675 | 电影制作专业 是 娱乐专业 的 subclass |