No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2166-2174 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 844-866 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 790-801 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2362-2369 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2349-2357 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 973-983 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 965-971 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 41-46 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27163-27171 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1519-1529 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1112-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 943-958 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10287-10293 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2005-2014 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3364-3374 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5253-5265 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3602-3615 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14952-14957 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28743-28753 |
|