No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9980-9980 |
The values returned by edema are subclasses of swelling |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9960-9960 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9957-9957 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9959-9959 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9961-9961 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9958-9958 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9962-9962 |
|