diff --git a/properties/P000223.md b/properties/P000223.md
new file mode 100644
index 000000000..8d3aadfa6
--- /dev/null
+++ b/properties/P000223.md
@@ -0,0 +1,9 @@
+---
+uid: P000223
+name: Locally simply connected
+refs:
+  - wikipedia: Locally simply connected space
+    name: Locally simply connected space on Wikipedia
+---
+
+The topology of $X$ has a base consisting of {P200} open sets.
diff --git a/properties/P000224.md b/properties/P000224.md
new file mode 100644
index 000000000..75c6267ce
--- /dev/null
+++ b/properties/P000224.md
@@ -0,0 +1,15 @@
+---
+uid: P000224
+name: Semilocally simply connected
+refs:
+  - wikipedia: Semi-locally simply connected
+    name: Semilocally simply connected space on Wikipedia
+  - zb: "1044.55001"
+    name: Algebraic Topology (Hatcher)
+---
+
+Every point $x \in X$ has a neighborhood $U$, such that the homomorphism $i^*:\pi(U, x) \to\pi(X,x)$ of fundamental groups induced by the inclusion $i : U \hookrightarrow X$, is trivial.
+
+In elementary terms this means that for every continuous path $p:[0,1]\to U$ with $p(0) = p(1)$, there is a continuous map (homotopy), $H:[0,1]^2\to X$ such that $H(0, \vdash) = H(1, \vdash) = H(\vdash, 1)=p(0)$ and $H(\vdash, 0) = i \circ p$.
+
+Defined on page 63 of {{zb:1044.55001}}.
diff --git a/properties/P000225.md b/properties/P000225.md
new file mode 100644
index 000000000..67e1cfd3c
--- /dev/null
+++ b/properties/P000225.md
@@ -0,0 +1,13 @@
+---
+uid: P000225
+name: Has a universal cover
+refs:
+  - wikipedia: Covering space
+    name: Covering space on Wikipedia
+  - zb: "0951.54001"
+    name: Topology (Munkres)
+---
+
+There is a covering space $(E,p)$ of $X$, such that $E$ is {P200}. Defined on page 484 in {{zb:0951.54001}}.
+
+By Corollary 82.2 in {{zb:0951.54001}} this is equivalent to $X$ being {P224}, {P37} and {P42}.