No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1478-1488 |
|
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. |
Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30707-30727 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2174-2184 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2193-2203 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2032-2042 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3482-3509 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 89-96 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1472-1492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18421-18442 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3355-3373 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3675-3704 |
|