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 |
O argumento numero 1 de InfectionFn e' uma sub-classe de Microorganismo |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2001-2001 |
O contra-dominio de InfectionFn e' uma instancia de InfectiousDisease |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1997-1997 |
InfectionFn e' uma sub-classe de funcao Unaria |