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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViralDisease
ViralDisease

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5942-5943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5941-5941 ViralDisease e' uma sub-classe de InfectiousDisease

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1234-1234 Covid19 e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1646-1646 DengueFever e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1696-1696 EasternEquineEncephalitis e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1517-1517 HerpesB e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1710-1710 JapaneseEncephalitis e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1666-1666 LaCrosseEncephalitis e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1863-1863 LassaFever e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1740-1740 MarburgDisease e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1238-1238 Mixomatosis e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1228-1228 Monkeypox e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1822-1822 RotavirusGastroenteritis e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1680-1680 SaintLouisEncephalitis e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1220-1220 Smallpox e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1631-1631 WestNileFever e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1169-1169 YellowSkin e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1119-1119 HemorrhagicFever e' uma sub-classe de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1777-1777 Hepatitis e' uma sub-classe de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1447-1447 Influenza e' uma sub-classe de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1423-1423 RiftValleyFever e' uma sub-classe de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 2036-2036 TickBorneEncephalitis e' uma sub-classe de ViralDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1408-1408 VenezuelanEquineEncephalitis e' uma sub-classe de ViralDisease
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61708-61708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61707-61707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61706-61706

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1278-1282

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1259-1266
No TPTP formula. May not be expressible in strict first order. WMD.kif 1131-1136


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