No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2182-2190 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 799-810 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1899-1906 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1886-1894 |
|
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 25501-25509 |
|
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. |
Weather.kif 560-570 |
|
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 9081-9087 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1318-1327 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3303-3313 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5192-5204 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2916-2929 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14799-14804 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26844-26854 |
|