| 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. | MilitaryProcesses.kif 450-450 | 子類 終端攻擊控制 and Stating |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 502-502 | 子類 終端指導 and Stating |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2692-2692 | 子類 SITREP and Stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 882-882 | 子類 註冊 and Stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 894-894 | 子類 回答中 and Stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 906-906 | 子類 爭論 and Stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16124-16124 | 子類 懇求 and Stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16162-16162 | 子類 作證 and Stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29615-29615 | 子類 Apologizing and Stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29634-29634 | 子類 Confirming and Stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29686-29686 | 子類 Correcting and Stating |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13150-13150 | 子類 不同意 and Stating |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4180-4180 | 子類 Misdiagnosing and Stating |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 125-125 | 子類 ReachingAgreement and Stating |
|
|