| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13322-13322 | 子類 ViolentContest and Contest |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 584-584 | 子類 拳擊 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 325-325 | 子類 直接行動 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 389-389 | 子類 直接行動活動 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 421-421 | 子類 軍事攻擊 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2092-2092 | 子類 恐怖主義 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13877-13877 | 子類 政治革命 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21849-21849 | 子類 化學攻擊 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21935-21935 | 子類 燃燒裝置攻擊 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21977-21977 | 子類 刀攻擊 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22076-22076 | 子類 亂石 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22135-22135 | 子類 車輛攻擊 and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13326-13326 | 子類 War and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13351-13351 | 子類 Battle and ViolentContest |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1644-1644 | 子類 PhysicalViolence and ViolentContest |
|
|