Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diseaseIncubation
diseaseIncubation

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 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 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 1240-1242 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