No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1723-1739 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 207-217 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12610-12612 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6036-6043 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1680-1687 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1150-1159 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15357-15363 |
|
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 57-65 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 47-55 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1939-1941 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1292-1298 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1278-1288 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1765-1773 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14784-14789 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16070-16081 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 447-455 |
|