No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11141-11151 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11754-11769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11198-11211 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11247-11262 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11157-11172 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6207-6213 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4481-4492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11191-11196 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 799-810 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11096-11101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11070-11075 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11305-11310 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11294-11299 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3075-3080 |
|