No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9983-9984 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9979-9979 |
The number 1 argument of edema is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9978-9978 |
Edema is an instance of unary function |
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 |