| 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 | O argumento numero 1 de diseaseIncubation e' uma instancia de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1531-1531 | O argumento numero 2 de diseaseIncubation e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1532-1532 | O argumento numero 3 de diseaseIncubation e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1529-1529 | diseaseIncubation e' uma instancia de Predicado Ternario |
| 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 19806-19806 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19805-19805 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19804-19804 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1141-1141 | diseaseIncubation Anthrax, 1 HourDuration(s) and 2 HourDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 336-336 | diseaseIncubation Botulism, 2 HourDuration(s) and 8 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 419-419 | diseaseIncubation BubonicPlague, 2 DayDuration(s) and 6 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1241-1243 | diseaseIncubation Covid19, 1 DayDuration(s) and 14 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1911-1911 | diseaseIncubation CrimeanCongoHemorrhagicFever, 5 DayDuration(s) and 13 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1903-1903 | diseaseIncubation Diphtheria, 2 DayDuration(s) and 5 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1519-1519 | diseaseIncubation HerpesB, 10 DayDuration(s) and 20 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1713-1713 | diseaseIncubation JapaneseEncephalitis, 6 DayDuration(s) and 8 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2047-2047 | diseaseIncubation KyasanurForestDisease, 3 DayDuration(s) and 8 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1866-1866 | diseaseIncubation LassaFever, 1 WeekDuration(s) and 3 WeekDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 272-272 | diseaseIncubation LouseBorneTyphus, 1 WeekDuration(s) and 2 WeekDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1743-1743 | diseaseIncubation MarburgDisease, 3 DayDuration(s) and 7 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1580-1580 | diseaseIncubation Pertussis, 6 DayDuration(s) and 21 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 424-424 | diseaseIncubation PneumonicPlague, 3 DayDuration(s) and 4 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1602-1602 | diseaseIncubation Psittacosis, 6 DayDuration(s) and 19 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1824-1824 | diseaseIncubation RotavirusGastroenteritis, 1 DayDuration(s) and 3 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1682-1682 | diseaseIncubation SaintLouisEncephalitis, 5 DayDuration(s) and 15 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1761-1761 | diseaseIncubation ScarletFever, 1 DayDuration(s) and 4 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1499-1499 | diseaseIncubation Tetanus, 3 DayDuration(s) and 3 WeekDuration(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