No TPTP formula. May not be expressible in strict first order. |
Cars.kif 349-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2936-2954 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2736-2750 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4309-4322 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6000-6011 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1292-1307 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17467-17479 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2352-2386 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1645-1651 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1658-1664 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3065-3074 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17486-17495 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17501-17510 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2280-2292 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2331-2343 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4198-4206 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2221-2236 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2245-2253 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4596-4612 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15275-15283 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2299-2314 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 783-785 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4027-4036 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4619-4651 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4158-4166 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |