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 11966-11976 |
|
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 15001-15012 |
|
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 11486-11496 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11498-11507 |
|
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 30272-30278 |
|