No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12847-12860 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5313-5317 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12939-12947 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12978-12986 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6428-6445 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12953-12965 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10540-10544 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6480-6497 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12804-12813 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6647-6653 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6672-6678 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6612-6618 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3571-3577 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6151-6165 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1141-1150 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1990-1992 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5155-5163 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3584-3597 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13716-13721 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 424-432 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1083-1094 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23611-23619 |
|