No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30213-30227 |
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. |
Medicine.kif 3040-3054 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1545-1555 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2230-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1115-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1256-1264 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1817-1836 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 349-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 980-992 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1087-1099 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2000-2008 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 119-127 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 129-137 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2516-2530 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4365-4382 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2730-2744 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2065-2073 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6401-6411 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1983-1991 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |