No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1998-1999 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2000-2000 |
Le nombre 1 argument de InfectionFn est une sous-classe de microorganisme |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2001-2001 |
Le domaine de InfectionFn est une instance de InfectiousDisease |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1997-1997 |
InfectionFn est une sous-classe de function unaire |