| 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 | 暴力比赛 是 比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 584-584 | 拳击 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 325-325 | 直接行动 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 389-389 | 直接行动活动 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 421-421 | 军事攻击 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2092-2092 | 恐怖主义 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13877-13877 | 政治革命 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21849-21849 | 化学攻击 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21935-21935 | 燃烧装置攻击 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21977-21977 | 刀攻击 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22076-22076 | 乱石 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22135-22135 | 车辆攻击 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13326-13326 | 战争 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13351-13351 | 战斗 是 暴力比赛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1644-1644 | PhysicalViolence 是 暴力比赛 的 subclass |
|
|