|
|
   LifeThreateningDisease
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1026-1027 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1025-1025 | LifeThreateningDisease e' uma sub-classe de Doenca ou Sindrome |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1834-1834 | Aflatoxicosis e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 333-333 | Botulism e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1487-1487 | Cholera e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1910-1910 | CrimeanCongoHemorrhagicFever e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1652-1652 | DengueHemorrhagicFever e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1902-1902 | Diphtheria e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1697-1697 | EasternEquineEncephalitis e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1800-1800 | HepatitisB e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1810-1810 | HepatitisC e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1518-1518 | HerpesB e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1146-1146 | InhalationalAnthrax e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1711-1711 | JapaneseEncephalitis e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1864-1864 | LassaFever e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1887-1887 | LegionnairesDisease e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1608-1608 | Malaria e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1741-1741 | MarburgDisease e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1766-1766 | NecrotizingFaciitis e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1462-1462 | ParalyticShellfishPoisoning e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 259-259 | RockyMountainSpottedFever e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1681-1681 | SaintLouisEncephalitis e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1731-1731 | Tuberculosis e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34355-34355 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34354-34354 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34353-34353 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1029-1033 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1035-1040 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 908-910 |
|
|
|