No TPTP formula. May not be expressible in strict first order. |
Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2003-2012 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1235-1247 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1609-1613 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2942-2947 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2949-2957 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6594-6606 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2653-2658 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2660-2665 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2637-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1108-1117 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 491-503 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1147-1155 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 548-564 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2671-2679 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2849-2878 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3026-3034 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15621-15636 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2696-2709 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1078-1085 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3270-3285 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 730-740 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5582-5588 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3826-3842 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2370-2372 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |