No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29698-29712 |
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. |
Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1114-1123 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1249-1257 |
|
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. |
FinancialOntology.kif 1086-1098 |
|
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 2515-2529 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4561-4578 |
|
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 6102-6112 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1983-1991 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12089-12097 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25212-25229 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8207-8217 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1582-1604 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12722-12727 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15695-15704 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1523-1533 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |