Pandemic
|
|
appearance as argument number 1 |
(documentation Pandemic EnglishLanguage "An Epidemic that takes place in at least two countries or continents.") | Medicine.kif 3533-3534 | |
(subclass Pandemic Epidemic) | Medicine.kif 3531-3531 |
appearance as argument number 2 |
(termFormat EnglishLanguage Pandemic "pandemic") | Medicine.kif 3535-3535 |
antecedent |
(=> (instance ?E Pandemic) (exists (?H1 ?H2 ?N1 ?N2 ?C1 ?C2) (and (involvedInEvent ?E ?H1) (involvedInEvent ?E ?H2) (not (equal ?H1 ?H2)) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (instance ?C1 Continent) (instance ?C2 Continent) (not (equal ?C1 ?C2)) (holdsDuring (WhenFn ?E) (or (and (located ?H1 ?C1) (located ?H2 ?C2)) (and (located ?H1 ?N1) (located ?H2 ?N2))))))) |
Medicine.kif 3537-3561 |