Table 2 The FOL rules that are showing the knowledge base for basic emergency preparedness

1

¬L(ag,al,t) ⇒ ¬R(ag,al,t).

2

L(ag, + al,t)^HITR(ag, + mloc,t)^BST(ag, + al,t) ⇒R(ag, + al,t)

3

L(ag,al,t) ⇒HSES(ag)

4

ST(ag,thrt,t) ⇒HSES(ag)

5

(HFO(ag, + p_a,t)^FPA(ag, + p_a,t)^KETPA(+p_a, + eTyp)) v

(ST(ag, + thrt,t)^KETT(+thrt, + eTyp)) v

(L(ag, + al,t)^HITR(ag, + mloc,t)^KETA(+al, + eTyp)^BST(ag, + al,t))

⇒ HES(ag, +eTyp, t)

6

HES(ag,FIRE,t) ⇒ ¬HES(ag,EVACUATE,t)

7

HES(ag,EVACUATE,t) ⇒ ¬HES(ag,FIRE,t)

8

HES(ag,FIRE,t0)^HES(ag,EVACUATE,t1)^Gt(t1,t0) ⇒¬HES(ag,FIRE,t1)