ViolentContest(violent contest)![]() ![]() ![]() | ![]() | Operation_Desert_Storm, active, affaire_d'honneur, affray, aggravated_assault, aggression, air_attack, air_raid, ambuscade, ambush, amphibious_assault, area_bombing, assail, assault, assault_and_battery, assaultive, atomise, atomize, attack, attacking, attempt, bait, bandy, banging, banzai_attack, banzai_charge, barricade, barricado, battering, battery, battle, beating, beleaguer, besiege, blast, blindside, blitz, blitzkrieg, block_off, blockade, blood_feud, bloodily, bloodlessly, bombardment, bombing, bombing_run, box, brawl, breakthrough, bushwhack... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3289-3290 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12393-12394 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12175-12175 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12173-12173 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12174-12174 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10353-10353 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12392-12392 | Violent contest is a subclass of contest |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12421-12421 | Battle is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 470-470 | Boxing is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19680-19680 | Chemical attack is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 325-325 | Direct action is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 389-389 | Direct action activity is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19764-19764 | Incendiary device attack is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19806-19806 | Knife attack is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 421-421 | Military assault is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1612-1612 | Violence is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11514-11514 | Political revolution is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19904-19904 | Stoning is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2074-2074 | Terrorism is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19968-19968 | Vehicle attack is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12396-12396 | War is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1209-1209 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1640-1640 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 57-62 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12512-12519 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12472-12477 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12435-12440 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12494-12499 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15523-15525 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 89-96 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20529-20534 |
|
![]() |
![]() |