No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1717-1733 |
|
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 12588-12590 |
|
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 1674-1681 |
|
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 15358-15364 |
|
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 14762-14767 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16071-16082 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 447-455 |
|