VaccinatableDisease - Sigma Knowledge base Browser

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 61196-61196	Venezuelan equine encephalitis is a subclass of vaccinatable disease
(termFormat ChineseTraditionalLanguage VaccinatableDisease "可預防的疾病")	domainEnglishFormat.kif 61195-61195	Venezuelan equine encephalitis is a subclass of vaccinatable disease
(termFormat EnglishLanguage VaccinatableDisease "vaccinatable disease")	domainEnglishFormat.kif 61194-61194	Venezuelan equine 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 1046-1059

If an entity is an instance of vaccinatable disease,
then there exist another entity, a third entity and a process such that the other entity is an instance of vaccine and the process is an instance of putting and the process ends up at the third entity and the third entity is an instance of human and the statement the entity is not an attribute of the third entity holds during after the time of existence of the process has the modal force of likely

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

KB Term:			Term intersection

English Word: