No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11107-11117 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3449-3460 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1882-1891 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1865-1875 |
|
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. |
Medicine.kif 2072-2080 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11246-11261 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11156-11171 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11124-11134 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5732-5736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10720-10725 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1682-1687 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10419-10424 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11401-11407 |
|