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