No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19519-19530 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 809-825 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27364-27376 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1910-1918 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6368-6372 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27455-27469 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1928-1942 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 907-911 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5143-5153 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 777-792 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1927-1949 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1634-1653 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1612-1630 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1549-1572 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27323-27338 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2639-2648 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6945-6958 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6392-6401 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 587-592 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 913-917 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3198-3204 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4317-4327 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4276-4286 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4069-4080 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4301-4311 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |