No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30320-30334 |
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 13455-13464 |
|
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 13477-13486 |
|
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 1388-1406 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8627-8637 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12275-12283 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11032-11042 |
|
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 3695-3736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29496-29507 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29468-29480 |
|
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 30218-30226 |
|
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 17873-17881 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15870-15872 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10474-10481 |
|
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 |