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 |
Le nombre 1 argument de BodyAreaFn est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6230-6230 |
BodyAreaFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6235-6235 |
Les valeurs retourn�es par BodyAreaFn sont des sous-classes de partie du corps |