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 2930-2948 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2730-2744 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4301-4314 |
|
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 17468-17480 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2346-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1639-1645 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1652-1658 |
|
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 17487-17496 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17502-17511 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 560-570 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2274-2286 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2325-2337 |
|
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 2215-2230 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2239-2247 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4588-4604 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15276-15284 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2293-2308 |
|
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 4019-4028 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4611-4643 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |