| 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 | Life threatening disease is a subclass of disease or syndrome |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1834-1834 | Aflatoxicosis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 333-333 | Botulism is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1487-1487 | Cholera is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1910-1910 | Crimean congo hemorrhagic fever is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1652-1652 | Dengue hemorrhagic fever is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1902-1902 | Diphtheria is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1697-1697 | Eastern equine encephalitis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1800-1800 | Hepatitis b is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1810-1810 | Hepatitis c is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1518-1518 | Herpes b is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1146-1146 | Inhalational anthrax is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1711-1711 | Japanese encephalitis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1864-1864 | Lassa fever is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1887-1887 | Legionnaires disease is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1608-1608 | Malaria is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1741-1741 | Marburg disease is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1766-1766 | Necrotizing faciitis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1462-1462 | Paralytic shellfish poisoning is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 259-259 | Rocky mountain spotted fever is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1681-1681 | Saint louis encephalitis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1731-1731 | Tuberculosis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34383-34383 | Tuberculosis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34382-34382 | Tuberculosis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34381-34381 | Tuberculosis is an instance of life threatening disease |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners