No TPTP formula. May not be expressible in strict first order. | Merge.kif 13094-13094 | 示范 是 传播 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7985-7985 | 宗教服务 是 示范 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15846-15846 | 性能 是 示范 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15870-15870 | 演讲 是 示范 的 subclass |