No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 754-765 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 275-283 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 291-299 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 307-315 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 323-331 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4417-4422 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10086-10093 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10076-10084 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5706-5716 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14124-14131 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1700-1705 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 828-844 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 328-333 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 317-322 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2843-2872 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6148-6154 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1606-1615 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6212-6217 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6089-6095 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12126-12132 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9424-9431 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4248-4255 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4307-4312 |
|