No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3543-3570 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 815-836 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6526-6537 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 689-706 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19992-20013 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25636-25638 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3508-3537 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8512-8526 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3450-3478 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3592-3613 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15995-16009 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31651-31660 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2639-2653 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1489-1502 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12149-12161 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4201-4225 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4488-4499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15977-15984 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10890-10903 |
|