No TPTP formula. May not be expressible in strict first order. | WMD.kif 1042-1042 | VaccinatableDisease e' uma sub-classe de InfectiousDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1409-1409 | VenezuelanEquineEncephalitis e' uma sub-classe de VaccinatableDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1448-1448 | Influenza e' uma sub-classe de VaccinatableDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2037-2037 | TickBorneEncephalitis e' uma sub-classe de VaccinatableDisease |
![]() |