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 | Pandemic ist eine teilkategorie von Epidemic |
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 |
|