No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 359-365 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11967-11977 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14979-14990 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1636-1643 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1458-1467 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1450-1456 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1439-1448 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1469-1481 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1576-1583 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1567-1574 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1526-1533 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1517-1524 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1488-1500 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2336-2351 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2382-2397 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2695-2704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11487-11497 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11499-11508 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1745-1756 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1758-1780 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1695-1706 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1708-1729 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30284-30290 |
|