No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15871-15871 | 子類 演講 and 示範 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15872-15872 | 子類 演講 and 說話 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15876-15876 | 子類 宣講 and 演講 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15939-15939 | 子類 講道 and 演講 |