|
|
   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 est une sous-classe de maladie ou syndrome |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1834-1834 | Aflatoxicosis est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 333-333 | Botulism est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1487-1487 | Cholera est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1910-1910 | CrimeanCongoHemorrhagicFever est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1652-1652 | DengueHemorrhagicFever est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1902-1902 | Diphtheria est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1697-1697 | EasternEquineEncephalitis est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1800-1800 | HepatitisB est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1810-1810 | HepatitisC est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1518-1518 | HerpesB est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1146-1146 | InhalationalAnthrax est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1711-1711 | JapaneseEncephalitis est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1864-1864 | LassaFever est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1887-1887 | LegionnairesDisease est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1608-1608 | Malaria est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1741-1741 | MarburgDisease est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1766-1766 | NecrotizingFaciitis est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1462-1462 | ParalyticShellfishPoisoning est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 259-259 | RockyMountainSpottedFever est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1681-1681 | SaintLouisEncephalitis est une instance de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1731-1731 | Tuberculosis est une instance 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 |
|
|
|