No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16474-16486 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19843-19849 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18404-18411 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2105-2114 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4783-4793 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5318-5329 |
|