| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3537-3561 |
- If a process is an instance of pandemic,
- then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is not equal to the other entity and the third entity is an instance of nation and the fourth entity is an instance of nation and the third entity is not equal to the fourth entity and the fifth entity is an instance of continent and the sixth entity is an instance of continent and the fifth entity is not equal to the sixth entity and the entity is located at the fifth entity and the other entity is located at the sixth entity or the entity is located at the third entity and the other entity is located at the fourth entity holds during the time of existence of the process
|
Pandemic