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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VaccinatableDisease
VaccinatableDisease(vaccinatable disease)

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


(documentation VaccinatableDisease EnglishLanguage "A disease for which there is an effective vaccine for Humans.") WMD.kif 1043-1044
(documentation VaccinatableDisease EnglishLanguage "A treatment that is effective in preventing a VaccinatableDisease.") WMD.kif 1062-1063
(subclass VaccinatableDisease InfectiousDisease) WMD.kif 1042-1042 Vaccinatable disease is a subclass of infectious disease

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


(instance Botulism VaccinatableDisease) WMD.kif 334-334 Botulism is an instance of vaccinatable disease
(instance Cholera VaccinatableDisease) WMD.kif 1486-1486 Cholera is an instance of vaccinatable disease
(instance HepatitisA VaccinatableDisease) WMD.kif 1787-1787 Hepatitis a is an instance of vaccinatable disease
(instance HepatitisB VaccinatableDisease) WMD.kif 1799-1799 Hepatitis b is an instance of vaccinatable disease
(instance JapaneseEncephalitis VaccinatableDisease) WMD.kif 1712-1712 Japanese encephalitis is an instance of vaccinatable disease
(instance Pertussis VaccinatableDisease) WMD.kif 1578-1578 Pertussis is an instance of vaccinatable disease
(instance Plague VaccinatableDisease) WMD.kif 412-412 Plague is an instance of vaccinatable disease
(instance Tetanus VaccinatableDisease) WMD.kif 1498-1498 Tetanus is an instance of vaccinatable disease
(instance Tuberculosis VaccinatableDisease) WMD.kif 1730-1730 Tuberculosis is an instance of vaccinatable disease
(subclass Influenza VaccinatableDisease) WMD.kif 1448-1448 Influenza is a subclass of vaccinatable disease
(subclass TickBorneEncephalitis VaccinatableDisease) WMD.kif 2037-2037 Tick borne encephalitis is a subclass of vaccinatable disease
(subclass VenezuelanEquineEncephalitis VaccinatableDisease) WMD.kif 1409-1409 Venezuelan equine encephalitis is a subclass of vaccinatable disease
(termFormat ChineseLanguage VaccinatableDisease "可预防的疾病") domainEnglishFormat.kif 61148-61148
(termFormat ChineseTraditionalLanguage VaccinatableDisease "可預防的疾病") domainEnglishFormat.kif 61147-61147
(termFormat EnglishLanguage VaccinatableDisease "vaccinatable disease") domainEnglishFormat.kif 61146-61146

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


(=>
    (instance ?DISEASE VaccinatableDisease)
    (exists (?VACCINE ?HUMAN ?PUT)
        (and
            (instance ?VACCINE Vaccine)
            (instance ?PUT Putting)
            (destination ?PUT ?HUMAN)
            (instance ?HUMAN Human)
            (modalAttribute
                (holdsDuring
                    (FutureFn
                        (WhenFn ?PUT))
                    (not
                        (attribute ?HUMAN ?DISEASE))) Likely))))
WMD.kif 1046-1059


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