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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VaccinatableDisease
VaccinatableDisease

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


(documentation VaccinatableDisease EnglishLanguage "A disease for which there is an effective vaccine for Humans.") WMD.kif 995-996
(subclass VaccinatableDisease InfectiousDisease) WMD.kif 994-994

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


(instance Botulism VaccinatableDisease) WMD.kif 334-334
(instance Cholera VaccinatableDisease) WMD.kif 1389-1389
(instance HepatitisA VaccinatableDisease) WMD.kif 1653-1653
(instance HepatitisB VaccinatableDisease) WMD.kif 1665-1665
(instance JapaneseEncephalitis VaccinatableDisease) WMD.kif 1578-1578
(instance Pertussis VaccinatableDisease) WMD.kif 1443-1443
(instance Plague VaccinatableDisease) WMD.kif 407-407
(instance Tetanus VaccinatableDisease) WMD.kif 1401-1401
(instance Tuberculosis VaccinatableDisease) WMD.kif 1596-1596
(subclass Influenza VaccinatableDisease) WMD.kif 1351-1351
(subclass TickBorneEncephalitis VaccinatableDisease) WMD.kif 1854-1854
(subclass VenezuelanEquineEncephalitis VaccinatableDisease) WMD.kif 1312-1312
(termFormat ChineseLanguage VaccinatableDisease "可预防的疾病") domainEnglishFormat.kif 61056-61056
(termFormat ChineseTraditionalLanguage VaccinatableDisease "可預防的疾病") domainEnglishFormat.kif 61055-61055
(termFormat EnglishLanguage VaccinatableDisease "vaccinatable disease") domainEnglishFormat.kif 61054-61054

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


(=>
    (instance ?DISEASE VaccinatableDisease)
    (exists (?VACCINE)
        (and
            (instance ?VACCINE BiologicallyActiveSubstance)
            (=>
                (and
                    (instance ?PUT Putting)
                    (destination ?PUT ?HUMAN)
                    (instance ?HUMAN Human))
                (holdsDuring
                    (FutureFn
                        (WhenFn ?PUT))
                    (not
                        (attribute ?HUMAN ?DISEASE)))))))
WMD.kif 998-1008


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