No TPTP formula. May not be expressible in strict first order. |
Cars.kif 491-500 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 484-496 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 349-366 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23259-23266 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23288-23295 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23311-23316 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4376-4386 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2692-2701 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2287-2292 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2724-2744 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2746-2767 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4127-4132 |
|