| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13138-13138 | 陈述 是 语言交流 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 450-450 | 终端攻击控制 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 502-502 | 终端指导 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2692-2692 | SITREP 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 882-882 | 注册 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 894-894 | 回答中 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 906-906 | 争论 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16124-16124 | 恳求 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16162-16162 | 作证 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29615-29615 | Apologizing 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29634-29634 | Confirming 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29686-29686 | Correcting 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13150-13150 | 不同意 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4180-4180 | Misdiagnosing 是 陈述 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 125-125 | ReachingAgreement 是 陈述 的 subclass |
|
|