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 23260-23267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23289-23296 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23312-23317 |
|
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 2728-2748 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2750-2771 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4127-4132 |
|