No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2553-2560 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15920-15940 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4244-4254 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4164-4177 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3536-3560 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1007-1025 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3968-3986 |
|