No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12785-12785 |
Creation is internally related to destruction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21815-21815 |
Arson is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21819-21819 |
Bombing is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2433-2433 |
Closing graphical window is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12291-12291 |
Killing is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 590-590 |
Precise destruction is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22121-22121 |
Vandalism is a subclass of destruction |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1161-1161 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1539-1539 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 839-839 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 371-371 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 374-374 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2523-2523 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 791-791 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 376-376 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 410-410 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 860-860 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 375-375 |
|