No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15870-15870 | 演讲 是 示范 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15871-15871 | 演讲 是 说话 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15875-15875 | 宣讲 是 演讲 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15938-15938 | 讲道 是 演讲 的 subclass |