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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseIncubation

 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 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 1240-1242 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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