No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2508-2516 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1592-1601 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3057-3066 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11460-11468 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7493-7495 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14738-14743 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17582-17584 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17537-17548 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1083-1085 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1049-1051 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2068-2074 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1092-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4549-4564 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2389-2391 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10852-10854 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2236-2246 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12788-12793 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2449-2461 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21574-21583 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2099-2101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29789-29798 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29811-29820 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29778-29787 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29800-29809 |
|