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


KB Term:  Term intersection
English Word: 

  VaccinatableDisease

 Sigma KEE - VaccinatableDisease
VaccinatableDisease(vaccinatable disease)

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


(subclass VaccinatableDisease InfectiousDisease) WMD.kif 1038-1038 Vaccinatable disease is a subclass of infectious disease
(documentation VaccinatableDisease EnglishLanguage "A disease for which there is an effective vaccine for Humans.") WMD.kif 1039-1040 Vaccinatable disease is a subclass of infectious disease
(documentation VaccinatableDisease EnglishLanguage "A treatment that is effective in preventing a VaccinatableDisease.") WMD.kif 1058-1059 Vaccinatable disease is a subclass of infectious disease

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


(instance Botulism VaccinatableDisease) WMD.kif 329-329 Botulism is an instance of vaccinatable disease
(instance Plague VaccinatableDisease) WMD.kif 407-407 Plague is an instance of vaccinatable disease
(subclass VenezuelanEquineEncephalitis VaccinatableDisease) WMD.kif 1405-1405 Venezuelan equine encephalitis is a subclass of vaccinatable disease
(subclass Influenza VaccinatableDisease) WMD.kif 1444-1444 Influenza is a subclass of vaccinatable disease
(instance Cholera VaccinatableDisease) WMD.kif 1482-1482 Cholera is an instance of vaccinatable disease
(instance Tetanus VaccinatableDisease) WMD.kif 1494-1494 Tetanus is an instance of vaccinatable disease
(instance Pertussis VaccinatableDisease) WMD.kif 1574-1574 Pertussis is an instance of vaccinatable disease
(instance JapaneseEncephalitis VaccinatableDisease) WMD.kif 1708-1708 Japanese encephalitis is an instance of vaccinatable disease
(instance Tuberculosis VaccinatableDisease) WMD.kif 1726-1726 Tuberculosis is an instance of vaccinatable disease
(instance HepatitisA VaccinatableDisease) WMD.kif 1783-1783 A is an instance of vaccinatable disease
(instance HepatitisB VaccinatableDisease) WMD.kif 1795-1795 Hepatitis b is an instance of vaccinatable disease
(subclass TickBorneEncephalitis VaccinatableDisease) WMD.kif 2033-2033 Tick borne encephalitis is a subclass of vaccinatable disease
(termFormat EnglishLanguage VaccinatableDisease "vaccinatable disease") domainEnglishFormat.kif 61149-61149 Tick borne encephalitis is a subclass of vaccinatable disease
(termFormat ChineseTraditionalLanguage VaccinatableDisease "可預防的疾病") domainEnglishFormat.kif 61150-61150 Tick borne encephalitis is a subclass of vaccinatable disease
(termFormat ChineseLanguage VaccinatableDisease "可预防的疾病") domainEnglishFormat.kif 61151-61151 Tick borne encephalitis is a subclass of vaccinatable disease

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 1042-1055 If X is an instance of vaccinatable disease, then there exist Y, Z, W such that Y is an instance of vaccine, W is an instance of putting, W ends up at Z, Z is an instance of human, and the statement X is not an attribute of Z holds during after the time of existence of W has the modal force of likely


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners