No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21775-21794 |
|
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 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30695-30715 |
|
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 3490-3517 |
|
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 18420-18441 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3363-3381 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3683-3712 |
|