No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9982-9983 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9978-9978 |
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 9977-9977 |
Edema is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9979-9979 |
The values returned by edema are subclasses of swelling |