1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
|
fof(axGeographyPred0, axiom,
f_geographicSubregion(inst_CentralAfrica,inst_Africa)).
fof(axGeographyPred1, axiom,
f_geographicSubregion(inst_EasternAfrica,inst_Africa)).
fof(axGeographyPred2, axiom,
f_geographicSubregion(inst_NorthernAfrica,inst_Africa)).
fof(axGeographyPred3, axiom,
f_geographicSubregion(inst_SouthernAfrica,inst_Africa)).
fof(axGeographyPred4, axiom,
f_geographicSubregion(inst_WesternAfrica,inst_Africa)).
fof(axGeographyPred5, axiom,
f_overlapsSpatially(inst_MiddleEastRegion,inst_Asia)).
fof(axGeographyPred6, axiom,
f_geographicSubregion(inst_CentralEurope,inst_Europe)).
fof(axGeographyPred7, axiom,
f_geographicSubregion(inst_EasternEurope,inst_Europe)).
fof(axGeographyPred8, axiom,
f_geographicSubregion(inst_NorthernEurope,inst_Europe)).
fof(axGeographyPred9, axiom,
f_geographicSubregion(inst_SouthernEurope,inst_Europe)).
fof(axGeographyPred10, axiom,
f_geographicSubregion(inst_WesternEurope,inst_Europe)).
fof(axGeographyPred11, axiom,
f_geographicSubregion(inst_SoutheasternEurope,inst_Europe)).
fof(axGeographyPred12, axiom,
f_geographicSubregion(inst_SouthwesternEurope,inst_Europe)).
fof(axGeographyPred13, axiom,
f_geographicSubregion(inst_NorthernNorthAmerica,inst_NorthAmerica)).
fof(axGeographyPred14, axiom,
f_overlapsSpatially(inst_CaribbeanRegion,inst_SouthAmerica)).
fof(axGeographyPred15, axiom,
f_overlapsSpatially(inst_CaribbeanRegion,inst_NorthAmerica)).
fof(axGeographyPred16, axiom,
f_overlapsSpatially(inst_MiddleAmerica,inst_NorthAmerica)).
fof(axGeographyPred17, axiom,
f_overlapsSpatially(inst_MiddleAmerica,inst_SouthAmerica)).
fof(axGeographyPred18, axiom,
f_geographicSubregion(inst_CentralSouthAmerica,inst_SouthAmerica)).
fof(axGeographyPred19, axiom,
f_geographicSubregion(inst_EasternSouthAmerica,inst_SouthAmerica)).
fof(axGeographyPred20, axiom,
f_geographicSubregion(inst_NorthernSouthAmerica,inst_SouthAmerica)).
fof(axGeographyPred21, axiom,
f_geographicSubregion(inst_SouthernSouthAmerica,inst_SouthAmerica)).
fof(axGeographyPred22, axiom,
f_geographicSubregion(inst_WesternSouthAmerica,inst_SouthAmerica)).
fof(axGeographyPred23, axiom,
f_geographicSubregion(inst_CentralAsia,inst_Asia)).
fof(axGeographyPred24, axiom,
f_geographicSubregion(inst_EasternAsia,inst_Asia)).
fof(axGeographyPred25, axiom,
f_geographicSubregion(inst_NorthernAsia,inst_Asia)).
fof(axGeographyPred26, axiom,
f_geographicSubregion(inst_NorthernAsia,inst_NorthernHemisphere)).
fof(axGeographyPred27, axiom,
f_geographicSubregion(inst_SouthernAsia,inst_Asia)).
fof(axGeographyPred28, axiom,
f_geographicSubregion(inst_SoutheasternAsia,inst_Asia)).
fof(axGeographyPred29, axiom,
f_geographicSubregion(inst_SouthwesternAsia,inst_Asia)).
fof(axGeographyPred30, axiom,
f_geographicSubregion(inst_CentralAfrica,inst_EasternHemisphere)).
fof(axGeographyPred31, axiom,
f_overlapsSpatially(inst_CentralAfrica,inst_NorthernHemisphere)).
fof(axGeographyPred32, axiom,
f_overlapsSpatially(inst_CentralAfrica,inst_SouthernHemisphere)).
fof(axGeographyPred33, axiom,
f_geographicSubregion(inst_EasternAfrica,inst_EasternHemisphere)).
fof(axGeographyPred34, axiom,
f_overlapsSpatially(inst_EasternAfrica,inst_NorthernHemisphere)).
fof(axGeographyPred35, axiom,
f_overlapsSpatially(inst_EasternAfrica,inst_SouthernHemisphere)).
fof(axGeographyPred36, axiom,
f_overlapsSpatially(inst_NorthernAfrica,inst_EasternHemisphere)).
fof(axGeographyPred37, axiom,
f_overlapsSpatially(inst_NorthernAfrica,inst_WesternHemisphere)).
fof(axGeographyPred38, axiom,
f_geographicSubregion(inst_NorthernAfrica,inst_NorthernHemisphere)).
fof(axGeographyPred39, axiom,
f_geographicSubregion(inst_SouthernAfrica,inst_EasternHemisphere)).
fof(axGeographyPred40, axiom,
f_geographicSubregion(inst_SouthernAfrica,inst_SouthernHemisphere)).
fof(axGeographyPred41, axiom,
f_overlapsSpatially(inst_WesternAfrica,inst_EasternHemisphere)).
fof(axGeographyPred42, axiom,
f_overlapsSpatially(inst_WesternAfrica,inst_WesternHemisphere)).
fof(axGeographyPred43, axiom,
f_overlapsSpatially(inst_WesternAfrica,inst_NorthernHemisphere)).
fof(axGeographyPred44, axiom,
f_overlapsSpatially(inst_WesternAfrica,inst_SouthernHemisphere)).
fof(axGeographyPred45, axiom,
f_geographicSubregion(inst_MiddleEastRegion,inst_EasternHemisphere)).
fof(axGeographyPred46, axiom,
f_geographicSubregion(inst_MiddleEastRegion,inst_WesternHemisphere)).
fof(axGeographyPred47, axiom,
f_geographicSubregion(inst_EasternEurope,inst_EasternHemisphere)).
fof(axGeographyPred48, axiom,
f_geographicSubregion(inst_EasternEurope,inst_NorthernHemisphere)).
fof(axGeographyPred49, axiom,
f_geographicSubregion(inst_CentralEurope,inst_EasternHemisphere)).
fof(axGeographyPred50, axiom,
f_geographicSubregion(inst_CentralEurope,inst_NorthernHemisphere)).
fof(axGeographyPred51, axiom,
f_geographicSubregion(inst_NorthernEurope,inst_EasternHemisphere)).
fof(axGeographyPred52, axiom,
f_geographicSubregion(inst_NorthernEurope,inst_NorthernHemisphere)).
fof(axGeographyPred53, axiom,
f_geographicSubregion(inst_SouthernEurope,inst_EasternHemisphere)).
fof(axGeographyPred54, axiom,
f_geographicSubregion(inst_SouthernEurope,inst_NorthernHemisphere)).
fof(axGeographyPred55, axiom,
f_overlapsSpatially(inst_WesternEurope,inst_EasternHemisphere)).
fof(axGeographyPred56, axiom,
f_overlapsSpatially(inst_WesternEurope,inst_WesternHemisphere)).
fof(axGeographyPred57, axiom,
f_geographicSubregion(inst_WesternEurope,inst_NorthernHemisphere)).
fof(axGeographyPred58, axiom,
f_geographicSubregion(inst_SoutheasternEurope,inst_EasternHemisphere)).
fof(axGeographyPred59, axiom,
f_geographicSubregion(inst_SoutheasternEurope,inst_NorthernHemisphere)).
fof(axGeographyPred60, axiom,
f_overlapsSpatially(inst_SouthwesternEurope,inst_EasternHemisphere)).
fof(axGeographyPred61, axiom,
f_overlapsSpatially(inst_SouthwesternEurope,inst_WesternHemisphere)).
fof(axGeographyPred62, axiom,
f_geographicSubregion(inst_SouthwesternEurope,inst_NorthernHemisphere)).
fof(axGeographyPred63, axiom,
f_geographicSubregion(inst_CaribbeanRegion,inst_NorthernHemisphere)).
fof(axGeographyPred64, axiom,
f_geographicSubregion(inst_CaribbeanRegion,inst_WesternHemisphere)).
fof(axGeographyPred65, axiom,
f_geographicSubregion(inst_MiddleAmerica,inst_NorthernHemisphere)).
fof(axGeographyPred66, axiom,
f_geographicSubregion(inst_MiddleAmerica,inst_WesternHemisphere)).
fof(axGeographyPred67, axiom,
f_geographicSubregion(inst_CentralSouthAmerica,inst_WesternHemisphere)).
fof(axGeographyPred68, axiom,
f_geographicSubregion(inst_CentralSouthAmerica,inst_SouthernHemisphere)).
fof(axGeographyPred69, axiom,
f_geographicSubregion(inst_EasternSouthAmerica,inst_WesternHemisphere)).
fof(axGeographyPred70, axiom,
f_overlapsSpatially(inst_EasternSouthAmerica,inst_NorthernHemisphere)).
fof(axGeographyPred71, axiom,
f_overlapsSpatially(inst_EasternSouthAmerica,inst_SouthernHemisphere)).
fof(axGeographyPred72, axiom,
f_geographicSubregion(inst_NorthernSouthAmerica,inst_WesternHemisphere)).
fof(axGeographyPred73, axiom,
f_overlapsSpatially(inst_NorthernSouthAmerica,inst_NorthernHemisphere)).
fof(axGeographyPred74, axiom,
f_overlapsSpatially(inst_NorthernSouthAmerica,inst_SouthernHemisphere)).
fof(axGeographyPred75, axiom,
f_geographicSubregion(inst_SouthernSouthAmerica,inst_WesternHemisphere)).
fof(axGeographyPred76, axiom,
f_geographicSubregion(inst_SouthernSouthAmerica,inst_SouthernHemisphere)).
fof(axGeographyPred77, axiom,
f_geographicSubregion(inst_WesternSouthAmerica,inst_WesternHemisphere)).
fof(axGeographyPred78, axiom,
f_overlapsSpatially(inst_WesternSouthAmerica,inst_NorthernHemisphere)).
fof(axGeographyPred79, axiom,
f_overlapsSpatially(inst_WesternSouthAmerica,inst_SouthernHemisphere)).
fof(axGeographyPred80, axiom,
f_geographicSubregion(inst_CentralAsia,inst_EasternHemisphere)).
fof(axGeographyPred81, axiom,
f_geographicSubregion(inst_CentralAsia,inst_NorthernHemisphere)).
fof(axGeographyPred82, axiom,
f_geographicSubregion(inst_EasternAsia,inst_EasternHemisphere)).
fof(axGeographyPred83, axiom,
f_geographicSubregion(inst_EasternAsia,inst_NorthernHemisphere)).
fof(axGeographyPred84, axiom,
f_geographicSubregion(inst_NorthernAsia,inst_EasternHemisphere)).
fof(axGeographyPred85, axiom,
f_geographicSubregion(inst_SouthernAsia,inst_EasternHemisphere)).
fof(axGeographyPred86, axiom,
f_overlapsSpatially(inst_SouthernAsia,inst_NorthernHemisphere)).
fof(axGeographyPred87, axiom,
f_overlapsSpatially(inst_SouthernAsia,inst_SouthernHemisphere)).
fof(axGeographyPred88, axiom,
f_geographicSubregion(inst_SoutheasternAsia,inst_EasternHemisphere)).
fof(axGeographyPred89, axiom,
f_overlapsSpatially(inst_SoutheasternAsia,inst_NorthernHemisphere)).
fof(axGeographyPred90, axiom,
f_overlapsSpatially(inst_SoutheasternAsia,inst_SouthernHemisphere)).
fof(axGeographyPred91, axiom,
f_geographicSubregion(inst_SouthwesternAsia,inst_EasternHemisphere)).
fof(axGeographyPred92, axiom,
f_geographicSubregion(inst_SouthwesternAsia,inst_NorthernHemisphere)).
fof(axGeographyPred93, axiom,
f_orientation(inst_Europe,inst_Africa,inst_North)).
fof(axGeographyPred94, axiom,
f_orientation(inst_Europe,inst_Asia,inst_West)).
fof(axGeographyPred95, axiom,
f_orientation(inst_Europe,inst_NorthAmerica,inst_East)).
fof(axGeographyPred96, axiom,
f_orientation(inst_NorthAmerica,inst_SouthAmerica,inst_North)).
fof(axGeographyPred97, axiom,
f_orientation(inst_NorthAmerica,inst_Asia,inst_East)).
fof(axGeographyPred98, axiom,
f_orientation(inst_Africa,inst_SouthAmerica,inst_Northeast)).
fof(axGeographyPred99, axiom,
f_orientation(inst_Asia,inst_Oceania,inst_Northwest)).
fof(axGeographyPred100, axiom,
f_orientation(inst_Africa,inst_NorthAmerica,inst_Southeast)).
fof(axGeographyPred101, axiom,
f_orientation(inst_Europe,inst_SouthAmerica,inst_Northeast)).
fof(axGeographyPred102, axiom,
f_orientation(inst_Oceania,inst_NorthAmerica,inst_Southwest)).
fof(axGeographyPred103, axiom,
f_orientation(inst_MiddleEastRegion,inst_Asia,inst_Southwest)).
fof(axGeographyPred104, axiom,
f_orientation(inst_MiddleEastRegion,inst_Africa,inst_Northeast)).
fof(axGeographyPred105, axiom,
f_orientation(inst_MiddleAmerica,inst_SouthAmerica,inst_North)).
fof(axGeographyPred106, axiom,
f_orientation(inst_MiddleAmerica,inst_NorthAmerica,inst_South)).
fof(axGeographyPred107, axiom,
f_orientation(inst_CaribbeanRegion,inst_SouthAmerica,inst_North)).
fof(axGeographyPred108, axiom,
f_orientation(inst_CaribbeanRegion,inst_NorthAmerica,inst_South)).
fof(axGeographyPred109, axiom,
f_MeasureFn(1,inst_AngularDegree) = f_MeasureFn(60,inst_ArcMinute)).
fof(axGeographyPred110, axiom,
f_MeasureFn(1,inst_ArcMinute) = f_MeasureFn(60,inst_ArcSecond)).
fof(axGeographyPred111, axiom,
f_MeasureFn(1,inst_SquareKilometer) = f_MultiplicationFn(f_MeasureFn(1,f_KiloFn(inst_Meter)),f_MeasureFn(1,f_KiloFn(inst_Meter)))).
fof(axGeographyPred112, axiom,
f_causesSubclass(type_AirPollution,type_AcidRainfall)).
fof(axGeographyPred113, axiom,
f_causesSubclass(type_AcidRainfall,type_Acidification)).
fof(axGeographyPred114, axiom,
f_earthAltitude(inst_OzoneShield,f_MeasureFn(25,inst_Mile))).
fof(axGeographyPred115, axiom,
f_causesSubclass(type_SoilErosion,type_Siltation)).
fof(axGeographyPred116, axiom,
f_agreementAdoptionDate(inst_AntarcticTreaty,f_DayFn(1,f_MonthFn(type_December,f_YearFn(1959))))).
fof(axGeographyPred117, axiom,
f_agreementEffectiveDate(inst_AntarcticTreaty,f_DayFn(23,f_MonthFn(type_June,f_YearFn(1961))))).
fof(axGeographyPred118, axiom,
f_orbits(inst_EarthsMoon,inst_PlanetEarth)).
fof(axGeographyPred119, axiom,
f_orbits(inst_PlanetEarth,inst_Sol)).
fof(axGeographyPred120, axiom,
f_orbits(inst_PlanetMercury,inst_Sol)).
fof(axGeographyPred121, axiom,
f_orbits(inst_PlanetVenus,inst_Sol)).
fof(axGeographyPred122, axiom,
f_orbits(inst_PlanetMars,inst_Sol)).
fof(axGeographyPred123, axiom,
f_orbits(inst_PlanetJupiter,inst_Sol)).
fof(axGeographyPred124, axiom,
f_orbits(inst_PlanetSaturn,inst_Sol)).
fof(axGeographyPred125, axiom,
f_orbits(inst_PlanetNeptune,inst_Sol)).
fof(axGeographyPred126, axiom,
f_orbits(inst_PlanetUranus,inst_Sol)).
fof(axGeographyPred127, axiom,
f_orbits(inst_PlanetPluto,inst_Sol)).
fof(axGeographyPred128, axiom,
f_overlapsSpatially(inst_Africa,inst_NorthernHemisphere)).
fof(axGeographyPred129, axiom,
f_overlapsSpatially(inst_Africa,inst_SouthernHemisphere)).
fof(axGeographyPred130, axiom,
f_geographicSubregion(inst_Africa,inst_EasternHemisphere)).
fof(axGeographyPred131, axiom,
f_geographicSubregion(inst_NorthAmerica,inst_NorthernHemisphere)).
fof(axGeographyPred132, axiom,
f_geographicSubregion(inst_NorthAmerica,inst_WesternHemisphere)).
fof(axGeographyPred133, axiom,
f_overlapsSpatially(inst_SouthAmerica,inst_NorthernHemisphere)).
fof(axGeographyPred134, axiom,
f_overlapsSpatially(inst_SouthAmerica,inst_SouthernHemisphere)).
fof(axGeographyPred135, axiom,
f_geographicSubregion(inst_SouthAmerica,inst_WesternHemisphere)).
fof(axGeographyPred136, axiom,
f_geographicSubregion(inst_Antarctica,inst_SouthernHemisphere)).
fof(axGeographyPred137, axiom,
f_overlapsSpatially(inst_Antarctica,inst_EasternHemisphere)).
fof(axGeographyPred138, axiom,
f_overlapsSpatially(inst_Antarctica,inst_WesternHemisphere)).
fof(axGeographyPred139, axiom,
f_geographicSubregion(inst_Europe,inst_NorthernHemisphere)).
fof(axGeographyPred140, axiom,
f_overlapsSpatially(inst_Europe,inst_EasternHemisphere)).
fof(axGeographyPred141, axiom,
f_overlapsSpatially(inst_Europe,inst_WesternHemisphere)).
fof(axGeographyPred142, axiom,
f_overlapsSpatially(inst_Asia,inst_NorthernHemisphere)).
fof(axGeographyPred143, axiom,
f_overlapsSpatially(inst_Asia,inst_SouthernHemisphere)).
fof(axGeographyPred144, axiom,
f_geographicSubregion(inst_Asia,inst_EasternHemisphere)).
fof(axGeographyPred145, axiom,
f_overlapsSpatially(inst_Oceania,inst_NorthernHemisphere)).
fof(axGeographyPred146, axiom,
f_overlapsSpatially(inst_Oceania,inst_SouthernHemisphere)).
fof(axGeographyPred147, axiom,
f_overlapsSpatially(inst_Oceania,inst_EasternHemisphere)).
fof(axGeographyPred148, axiom,
f_overlapsSpatially(inst_Oceania,inst_WesternHemisphere)).
fof(axGeographyPred149, axiom,
f_overlapsSpatially(inst_Tropics,inst_NorthernHemisphere)).
fof(axGeographyPred150, axiom,
f_overlapsSpatially(inst_Tropics,inst_SouthernHemisphere)).
fof(axGeographyPred151, axiom,
f_overlapsSpatially(inst_Tropics,inst_EasternHemisphere)).
fof(axGeographyPred152, axiom,
f_overlapsSpatially(inst_Tropics,inst_WesternHemisphere)).
fof(axGeographyPred153, axiom,
f_oppositeDirection(inst_North,inst_South)).
fof(axGeographyPred154, axiom,
f_oppositeDirection(inst_East,inst_West)).
fof(axGeographyPred155, axiom,
f_oppositeDirection(inst_Northeast,inst_Southwest)).
fof(axGeographyPred156, axiom,
f_oppositeDirection(inst_Northwest,inst_Southeast)).
fof(axGeographyPred157, axiom,
f_MeasureFn(1,inst_Fathom) = f_MeasureFn(6,inst_FootLength)).
fof(axGeographyPred158, axiom,
f_MeasureFn(1,inst_NauticalMile) = f_MeasureFn(6076.1,inst_FootLength)).
fof(axGeographyPred159, axiom,
f_MeasureFn(1,inst_NauticalMile) = f_MeasureFn(1852,inst_Meter)).
fof(axGeographyPred160, axiom,
f_MeasureFn(1,inst_SquareMeter) = f_MultiplicationFn(f_MeasureFn(1,inst_Meter),f_MeasureFn(1,inst_Meter))).
fof(axGeographyPred161, axiom,
inst_SquareMeter = f_SquareUnitFn(inst_Meter)).
fof(axGeographyPred162, axiom,
inst_SquareKilometer = f_SquareUnitFn(f_KiloFn(inst_Meter))).
fof(axGeographyPred163, axiom,
f_geographicSubregion(inst_NorthAtlanticOcean,inst_AtlanticOcean)).
fof(axGeographyPred164, axiom,
f_geographicSubregion(inst_NorthAtlanticOcean,inst_NorthernHemisphere)).
fof(axGeographyPred165, axiom,
f_geographicSubregion(inst_NorthAtlanticOcean,inst_WesternHemisphere)).
fof(axGeographyPred166, axiom,
f_geographicSubregion(inst_SouthAtlanticOcean,inst_AtlanticOcean)).
fof(axGeographyPred167, axiom,
f_geographicSubregion(inst_SouthAtlanticOcean,inst_SouthernHemisphere)).
fof(axGeographyPred168, axiom,
f_partlyLocated(inst_SouthAtlanticOcean,inst_WesternHemisphere)).
fof(axGeographyPred169, axiom,
f_partlyLocated(inst_SouthAtlanticOcean,inst_EasternHemisphere)).
fof(axGeographyPred170, axiom,
f_geographicSubregion(inst_NorthPacificOcean,inst_PacificOcean)).
fof(axGeographyPred171, axiom,
f_geographicSubregion(inst_NorthPacificOcean,inst_NorthernHemisphere)).
fof(axGeographyPred172, axiom,
f_partlyLocated(inst_NorthPacificOcean,inst_EasternHemisphere)).
fof(axGeographyPred173, axiom,
f_partlyLocated(inst_NorthPacificOcean,inst_WesternHemisphere)).
fof(axGeographyPred174, axiom,
f_geographicSubregion(inst_SouthPacificOcean,inst_PacificOcean)).
fof(axGeographyPred175, axiom,
f_geographicSubregion(inst_SouthPacificOcean,inst_SouthernHemisphere)).
fof(axGeographyPred176, axiom,
f_partlyLocated(inst_SouthPacificOcean,inst_EasternHemisphere)).
fof(axGeographyPred177, axiom,
f_partlyLocated(inst_SouthPacificOcean,inst_WesternHemisphere)).
fof(axGeographyPred178, axiom,
f_connected(inst_IndianOcean,inst_SouthPacificOcean)).
fof(axGeographyPred179, axiom,
f_connected(inst_IndianOcean,inst_PersianGulf)).
fof(axGeographyPred180, axiom,
f_connected(inst_IndianOcean,inst_SouthernOcean)).
fof(axGeographyPred181, axiom,
f_geographicSubregion(inst_ArcticOcean,inst_NorthernHemisphere)).
fof(axGeographyPred182, axiom,
f_partlyLocated(inst_ArcticOcean,inst_EasternHemisphere)).
fof(axGeographyPred183, axiom,
f_partlyLocated(inst_ArcticOcean,inst_WesternHemisphere)).
fof(axGeographyPred184, axiom,
f_geographicSubregion(inst_SouthernOcean,inst_SouthernHemisphere)).
fof(axGeographyPred185, axiom,
f_partlyLocated(inst_SouthernOcean,inst_EasternHemisphere)).
fof(axGeographyPred186, axiom,
f_partlyLocated(inst_SouthernOcean,inst_WesternHemisphere)).
fof(axGeographyPred187, axiom,
f_totalArea(inst_SouthernOcean,f_MeasureFn(20327000,inst_SquareKilometer))).
fof(axGeographyPred188, axiom,
f_length(f_ShorelineFn(inst_SouthernOcean,inst_Antarctica),f_MeasureFn(17968,f_KiloFn(inst_Meter)))).
fof(axGeographyPred189, axiom,
f_naturalHazardTypeInArea(inst_SouthernOcean,type_CyclonicStorm)).
fof(axGeographyPred190, axiom,
f_naturalHazardTypeInArea(inst_SouthernOcean,type_Iceberg)).
fof(axGeographyPred191, axiom,
f_naturalHazardTypeInArea(inst_SouthernOcean,type_SeaIce)).
fof(axGeographyPred192, axiom,
f_elevation(f_ElevationHighPointFn(inst_SouthernOcean),f_MeasureFn(0,inst_Meter))).
fof(axGeographyPred193, axiom,
f_elevation(f_ElevationLowPointFn(inst_SouthernOcean),f_MeasureFn(-7235,inst_Meter))).
fof(axGeographyPred194, axiom,
f_geographicSubregion(inst_SouthSandwichTrench,inst_SouthernOcean)).
fof(axGeographyPred195, axiom,
f_located(inst_AntarcticCircumpolarCurrent,inst_SouthernOcean)).
fof(axGeographyPred196, axiom,
f_meetsSpatially(inst_Egypt,inst_RedSea)).
fof(axGeographyPred197, axiom,
f_meetsSpatially(inst_Sudan,inst_RedSea)).
fof(axGeographyPred198, axiom,
f_meetsSpatially(inst_Eritrea,inst_RedSea)).
fof(axGeographyPred199, axiom,
f_meetsSpatially(inst_SaudiArabia,inst_RedSea)).
fof(axGeographyPred200, axiom,
f_elevation(inst_SeaLevel,f_MeasureFn(0,inst_Meter))).
fof(axGeographyPred201, axiom,
f_geographicSubregion(inst_GreatSaltLake,inst_Utah)).
fof(axGeographyPred202, axiom,
f_geographicSubregion(inst_SaltonSea,inst_California)).
fof(axGeographyPred203, axiom,
f_geographicSubregion(inst_LakeEyre,inst_Australia)).
fof(axGeographyPred204, axiom,
f_connected(inst_PersianGulf,inst_StraitOfHormuz)).
fof(axGeographyPred205, axiom,
f_meetsSpatially(inst_Iran,inst_PersianGulf)).
fof(axGeographyPred206, axiom,
f_connected(inst_StraitOfHormuz,inst_GulfOfOman)).
fof(axGeographyPred207, axiom,
f_connected(inst_GulfOfOman,inst_ArabianSea)).
fof(axGeographyPred208, axiom,
f_meetsSpatially(inst_Iran,inst_GulfOfOman)).
fof(axGeographyPred209, axiom,
f_meetsSpatially(inst_Oman,inst_GulfOfOman)).
fof(axGeographyPred210, axiom,
f_connected(inst_RedSea,inst_GulfOfAden)).
fof(axGeographyPred211, axiom,
f_connected(inst_GulfOfAden,inst_ArabianSea)).
fof(axGeographyPred212, axiom,
f_meetsSpatially(inst_Yemen,inst_GulfOfAden)).
fof(axGeographyPred213, axiom,
f_meetsSpatially(inst_Somalia,inst_GulfOfAden)).
fof(axGeographyPred214, axiom,
f_connected(inst_GulfOfMexico,inst_NorthAtlanticOcean)).
fof(axGeographyPred215, axiom,
f_connected(inst_GulfOfMexico,inst_CaribbeanSea)).
fof(axGeographyPred216, axiom,
f_oppositeDirection(inst_Upstream,inst_Downstream)).
|
