| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13126-13126 | 子類 語言交流 and Communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 780-780 | 子類 書面溝通 and 語言交流 |
| 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 829-829 | 子類 相應 and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 918-918 | 子類 說謊 and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13134-13134 | 子類 用語言表達 and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19703-19703 | 子類 辯論 and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19710-19710 | 子類 談判 and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29655-29655 | 子類 Elaborating and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29669-29669 | 子類 Restating and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13138-13138 | 子類 Stating and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13172-13172 | 子類 假如 and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13177-13177 | 子類 Directing and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13221-13221 | 子類 Committing and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13241-13241 | 子類 Declaring and 語言交流 |
|
|