| No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | ViralAgent e' uma sub-classe de ToxicOrganism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 231-231 | ViralAgent e' uma sub-classe de Virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1173-1173 | YellowFeverVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1186-1186 | FootAndMouthVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1195-1195 | EbolaVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1232-1232 | MonkeypoxVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1254-1254 | VariolaMajor e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1259-1259 | VariolaMinor e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1347-1347 | HIVVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1402-1402 | Myxomatosis e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1418-1418 | VenezuelanEquineEncephalitisVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1511-1511 | HerpesVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1625-1625 | WestNileVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1637-1637 | DengueFeverVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1658-1658 | LaCrosseVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1672-1672 | SaintLouisEncephalitisVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1688-1688 | EasternEquineEncephalitisVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1702-1702 | JapaneseEncephalitisVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1734-1734 | MarburgVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1770-1770 | HepatitisVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1816-1816 | Rotavirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1856-1856 | LassaVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1918-1918 | CrimeanCongoHemorrhagicFeverVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1924-1924 | JuninVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1937-1937 | MachupoVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1949-1949 | GuanaritoVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1959-1959 | SabiaVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1969-1969 | FlexalVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2051-2051 | HendraVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2057-2057 | NipahVirus e' uma sub-classe de ViralAgent |
|
|