| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1533-1536 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1530-1530 | The number 1 argument of disease incubation is an instance of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1531-1531 | The number 2 argument of disease incubation is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1532-1532 | The number 3 argument of disease incubation is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1529-1529 | disease incubation is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 768-768 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 767-767 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 766-766 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19821-19821 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19820-19820 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19819-19819 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1141-1141 | Anthrax disease incubation 1 hour duration(s) for 2 hour duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 336-336 | Botulism disease incubation 2 hour duration(s) for 8 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 419-419 | Bubonic plague disease incubation 2 day duration(s) for 6 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1248-1250 | Covid disease incubation 1 day duration(s) for 14 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1911-1911 | Crimean congo hemorrhagic fever disease incubation 5 day duration(s) for 13 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1903-1903 | Diphtheria disease incubation 2 day duration(s) for 5 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1519-1519 | Herpes b disease incubation 10 day duration(s) for 20 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1713-1713 | Japanese encephalitis disease incubation 6 day duration(s) for 8 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2047-2047 | Kyasanur forest disease disease incubation 3 day duration(s) for 8 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1866-1866 | Lassa fever disease incubation 1 week duration(s) for 3 week duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 272-272 | Louse borne typhus disease incubation 1 week duration(s) for 2 week duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1743-1743 | Marburg disease disease incubation 3 day duration(s) for 7 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1580-1580 | Pertussis disease incubation 6 day duration(s) for 21 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 424-424 | Pneumonic plague disease incubation 3 day duration(s) for 4 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1602-1602 | Psittacosis disease incubation 6 day duration(s) for 19 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1824-1824 | Rotavirus gastroenteritis disease incubation 1 day duration(s) for 3 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1682-1682 | Saint louis encephalitis disease incubation 5 day duration(s) for 15 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1761-1761 | Scarlet fever disease incubation 1 day duration(s) for 4 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1499-1499 | Tetanus disease incubation 3 day duration(s) for 3 week duration(s) |
|
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