No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30296-30310 |
A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1632-1644 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13409-13418 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 80-94 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13431-13440 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 618-630 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1395-1413 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8600-8610 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12229-12237 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11005-11015 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 641-654 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29445-29456 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29417-29429 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5876-5885 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3821-3829 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30194-30202 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 483-490 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 70-78 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17846-17854 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15843-15845 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10440-10447 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 976-990 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1108-1121 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 999-1013 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |