add missing uris in examples

source/examples/misc.mmt

@@ -52,17 +52,17 @@ theory Examples : http://mathhub.info/FrameIT/frameworld?SituationTheoryMeta =
   // JSON representation for measured_distance: {
       "tp": {
         "kind": "OMA",
-        "applicant": {"kind": "OMS", "uri": "...?Logic?ded"},
+        "applicant": {"kind": "OMS", "uri": "http://mathhub.info/MitM/Foundation?Logic?ded"},
         "arguments": [{
           "kind": "OMA",
-          "applicant": {"kind": "OMS", "uri": "...?Logic?eq"},
+          "applicant": {"kind": "OMS", "uri": "http://mathhub.info/MitM/Foundation?Logic?eq"},
           "arguments": [
             {
               "kind": "OMA",
-              "applicant": {"kind": "OMS", "uri": "...?Geometry/Common/metric"},
+              "applicant": {"kind": "OMS", "uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common/metric"},
               "arguments": [
-                {"kind": "OMS", "uri": "...?A"},
-                {"kind": "OMS", "uri": "...?B"}
+                {"kind": "OMS", "uri": "<uri to situation theory, i.e. Examples here>?A"},
+                {"kind": "OMS", "uri": "<uri to situation theory, i.e. Examples here>?B"}
               ]
             },
             {"kind": "OMF", "float": 42}