| Vaccine | |
| appearance as argument number 1 |
|
|
| (roomTempState Vaccine Liquid) | Mid-level-ontology.kif 31667-31667 | |
| (subclass Vaccine BiologicallyActiveSubstance) | WMD.kif 1061-1061 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Vaccine "vaccine") | WMD.kif 1064-1064 |
| appearance as argument number 3 |
|
|
| (domainSubclass vaccine 1 Vaccine) | WMD.kif 1084-1084 |
| consequent |
|
|
| (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (exists (?VAC) (and (instance ?VAC Vaccine) (holdsDuring (ImmediateFutureFn (WhenFn ?V) (contains ?H ?VAC)))))) |
WMD.kif 1071-1081 | |
| (=> (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 |
|
|
|