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


(documentation ViralDisease EnglishLanguage "A disease that is caused by instances of Virus.") Mid-level-ontology.kif 6020-6021
(subclass ViralDisease InfectiousDisease) Mid-level-ontology.kif 6019-6019 subclass ViralDisease and InfectiousDisease

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


(instance DengueFever ViralDisease) WMD.kif 1512-1512 instance DengueFever and ViralDisease
(instance EasternEquineEncephalitis ViralDisease) WMD.kif 1562-1562 instance EasternEquineEncephalitis and ViralDisease
(instance HerpesB ViralDisease) WMD.kif 1414-1414 instance HerpesB and ViralDisease
(instance JapaneseEncephalitis ViralDisease) WMD.kif 1576-1576 instance JapaneseEncephalitis and ViralDisease
(instance LaCrosseEncephalitis ViralDisease) WMD.kif 1532-1532 instance LaCrosseEncephalitis and ViralDisease
(instance LassaFever ViralDisease) WMD.kif 1729-1729 instance LassaFever and ViralDisease
(instance MarburgDisease ViralDisease) WMD.kif 1606-1606 instance MarburgDisease and ViralDisease
(instance Mixomatosis ViralDisease) WMD.kif 1157-1157 instance Mixomatosis and ViralDisease
(instance Monkeypox ViralDisease) WMD.kif 1147-1147 instance Monkeypox and ViralDisease
(instance RotavirusGastroenteritis ViralDisease) WMD.kif 1688-1688 instance RotavirusGastroenteritis and ViralDisease
(instance SaintLouisEncephalitis ViralDisease) WMD.kif 1546-1546 instance SaintLouisEncephalitis and ViralDisease
(instance Smallpox ViralDisease) WMD.kif 1139-1139 instance Smallpox and ViralDisease
(instance WestNileFever ViralDisease) WMD.kif 1497-1497 instance WestNileFever and ViralDisease
(instance YellowSkin ViralDisease) WMD.kif 1088-1088 instance YellowSkin and ViralDisease
(subclass HemorrhagicFever ViralDisease) WMD.kif 1040-1040 subclass HemorrhagicFever and ViralDisease
(subclass Hepatitis ViralDisease) WMD.kif 1643-1643 subclass Hepatitis and ViralDisease
(subclass Influenza ViralDisease) WMD.kif 1350-1350 subclass Influenza and ViralDisease
(subclass RiftValleyFever ViralDisease) WMD.kif 1326-1326 subclass RiftValleyFever and ViralDisease
(subclass TickBorneEncephalitis ViralDisease) WMD.kif 1853-1853 subclass TickBorneEncephalitis and ViralDisease
(subclass VenezuelanEquineEncephalitis ViralDisease) WMD.kif 1311-1311 subclass VenezuelanEquineEncephalitis and ViralDisease
(termFormat ChineseLanguage ViralDisease "病毒性疾病") domainEnglishFormat.kif 61614-61614
(termFormat ChineseTraditionalLanguage ViralDisease "病毒性疾病") domainEnglishFormat.kif 61613-61613
(termFormat EnglishLanguage ViralDisease "viral disease") domainEnglishFormat.kif 61612-61612

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


(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseTreatment ?DISEASE Antibiotic ?PROCESS))))
WMD.kif 1196-1200

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


(=>
    (and
        (instance ?VIRUS ViralAgent)
        (biochemicalAgentSyndrome ?VIRUS ?SYNDROME))
    (instance ?SYNDROME ViralDisease))
WMD.kif 1051-1055


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