No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14645-14645 | 系列 是 文本 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14588-14588 | 广播节目 是 系列 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14673-14673 | 期刊 是 系列 的 subclass |