No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13733-13733 | 音乐 是 命题 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13747-13747 | 音乐作品 是 音乐 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13764-13764 | 歌曲 是 音乐 的 subclass |