No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1741-1761 |
|
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 1314-1348 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24764-24771 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 567-580 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25820-25838 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26177-26185 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3592-3605 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3645-3658 |
|