| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 826-826 | 说话 是 语言交流 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 827-827 | 说话 是 发声 的 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 15916-15916 | 背诵 是 说话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | EmotionalSpeakingBehavior 是 说话 的 subclass |
|
|