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


KB Term:  Term intersection
English Word: 

  Vaccine

 Sigma KEE - Vaccine
Vaccine(vaccine)DPT_vaccine, Pneumovax, pneumococcal_vaccine, poliovirus_vaccine, proteosome, proteosome_vaccine, vaccine, vaccinum

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


(roomTempState Vaccine Liquid) Mid-level-ontology.kif 34098-34098 room temperature state vaccine and liquid
(subclass Vaccine BiologicallyActiveSubstance) WMD.kif 1057-1057 Vaccine is a subclass of biologically active substance

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


(termFormat EnglishLanguage Vaccine "vaccine") WMD.kif 1060-1060

appearance as argument number 3
-------------------------


(domainSubclass vaccine 1 Vaccine) WMD.kif 1080-1080 The number 1 argument of vaccine is a subclass of vaccine

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


(=>
    (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
(=>
    (and
        (instance ?V Vaccination)
        (experiencer ?V ?H))
    (exists (?VAC)
        (and
            (instance ?VAC Vaccine)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?V))
                (contains ?H ?VAC)))))		 WMD.kif 1067-1077 If X is an instance of vaccination and Y experiences X, then there exists Z such that Z is an instance of vaccine and Y contains Z holds during immediately after the time of existence of X


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