No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30585-30599 |
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 3028-3042 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3010-3026 |
|
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 6454-6466 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6431-6443 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1533-1543 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2218-2227 |
|
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 1822-1840 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1801-1820 |
|
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 2568-2582 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4357-4374 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2714-2728 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6423-6433 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3508-3537 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |