No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6231-6232 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6234-6234 |
The number 1 argument of BodyAreaFn is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6230-6230 |
BodyAreaFn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6235-6235 |
The values returned by BodyAreaFn are subclasses of body part |