No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13351-13351 |
Battle is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 584-584 |
Boxing is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21849-21849 |
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 21935-21935 |
Incendiary device attack is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21977-21977 |
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 1644-1644 |
Violence is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13877-13877 |
Political revolution is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22076-22076 |
Stoning is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2092-2092 |
Terrorism is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22135-22135 |
Vehicle attack is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13326-13326 |
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 1635-1635 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 887-887 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 420-420 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 423-423 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2571-2571 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 425-425 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 459-459 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 908-908 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 424-424 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |