|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30476-30476 | The expected value of panda is 240.0 pound mass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30512-30512 | The expected value of reindeer is 300.0 pound mass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20331-20331 | The expected value of skunk is 5.0 pound mass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30601-30601 | The minimum expected length of hamster is 5.0 centimeter(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30458-30458 | The minimum expected value of lemur is 1.0 ounce(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30438-30438 | The minimum expected value of parrot is 0.4 ounce(s) |
| 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 1239-1241 | 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) |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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