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 6121-6139 |
|
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 4425-4430 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10108-10115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10098-10106 |
|
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 14146-14153 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1706-1711 |
|
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 2849-2878 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6147-6153 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1611-1621 |
|
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 6088-6094 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12125-12131 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9423-9430 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4256-4263 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4307-4312 |
|