No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 826-826 | 子類 說話 and 語言交流 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 827-827 | 子類 說話 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 15917-15917 | 子類 背誦 and 說話 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | 子類 EmotionalSpeakingBehavior and 說話 |