No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13373-13373 |
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 21848-21848 |
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 21934-21934 |
Incendiary device attack is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21976-21976 |
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 13876-13876 |
Political revolution is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22075-22075 |
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 22134-22134 |
Vehicle attack is a subclass of violent contest |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13348-13348 |
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 |