This repository has been archived by the owner on Jan 17, 2018. It is now read-only.
forked from ontologyportal/sumo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
People.kif
1581 lines (1326 loc) · 62.6 KB
/
People.kif
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
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
;; Ontology of People Concepts used in the CIA World Fact Book 2002
;; and further augmented from a variety of sources
;; Access to and use of these products is governed by the GNU General Public
;; License <http://www.gnu.org/copyleft/gpl.html>.
;; By using these products, you agree to be bound by the terms
;; of the GPL.
;; Language description text is excerpted from http://www.ethnologue.com/
;; and is copyright SIL International.
;; Those who are interested in making use of this ontology are requested
;; to contact Adam Pease ([email protected]).
;; We ask the people using or referencing this work cite our primary paper:
;; Niles, I., and Pease, A. 2001. Towards a Standard Upper Ontology. In
;; Proceedings of the 2nd International Conference on Formal Ontology in
;; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds,
;; Ogunquit, Maine, October 17-19, 2001. See also http://www.ontologyportal.org
;;
;; ==========================================================================
;;
;; III. People
;; A. Population
;; PopulationFn
(instance PopulationFn UnaryFunction)
(domain PopulationFn 1 GeopoliticalArea)
(range PopulationFn Integer)
(documentation PopulationFn EnglishLanguage "(&%PopulationFn ?AREA) denotes the &%Integer
that represents the count of the number of people inhabiting the
&%GeopoliticalArea ?AREA. This number gives an estimate from the US Bureau
of the Census based on statistics from population censuses, vital statistics
registration systems, or sample surveys pertaining to the recent past and on
assumptions about future trends. The total population presents one overall
measure of the potential impact of the country on the world and within its
region. Note:_starting with the 1993 Factbook, demographic estimates for some
countries (mostly African) have explicitly taken into account the effects of
the growing impact of the HIV/AIDS epidemic._ These countries are currently:
The Bahamas, Benin, Botswana, Brazil, Burkina Faso, Burma, Burundi, Cambodia,
Cameroon, Central African Republic, Democratic Republic of the Congo,
Republic of the Congo, Cote d'Ivoire, Ethiopia, Gabon, Ghana, Guyana, Haiti,
Honduras, Kenya, Lesotho, Malawi, Mozambique, Namibia, Nigeria, Rwanda,
South Africa, Swaziland, Tanzania, Thailand, Togo, Uganda, Zambia, and
Zimbabwe.")
;; Definition of &%PopulationFn
(equal (PopulationFn ?AREA)
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(inhabits ?PERSON ?AREA)))))
;; B. Age structure
;; (NOT FORMALIZED)
;; C. Population growth rate
;; PopulationGrowthFn
(instance PopulationGrowthFn BinaryFunction)
(domain PopulationGrowthFn 1 GeopoliticalArea)
(domain PopulationGrowthFn 2 Year)
(range PopulationGrowthFn RealNumber)
(documentation PopulationGrowthFn EnglishLanguage "(&%PopulationFn ?AREA ?YEAR) denotes the
&%RealNumber that represents the average annual percent change in the
population of the &%GeopoliticalArea ?AREA for Year ?YEAR. This average
annual percent population change results from a surplus (or deficit) of
births over deaths and the balance of migrants entering and leaving a
country. The rate may be positive or negative. The growth rate is a factor
in determining how great a burden would be imposed on a country by the
changing needs of its people for infrastructure (e.g., schools, hospitals,
housing, roads), resources (e.g., food, water, electricity), and jobs. Rapid
population growth can be seen as threatening by neighboring countries.")
;; Definition of &%PopulationGrowthFn
(<=>
(equal (PopulationGrowthFn ?AREA (YearFn ?YEAR)) ?ADJUSTEDPERCENT)
(and
(equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
(holdsDuring (YearFn ?YEAR)
(equal (PopulationFn ?AREA) ?POPULATION))
(holdsDuring (YearFn ?PREVIOUSYEAR)
(equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
(equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
(equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))
;; D. Birth rate
;; BirthsPerThousandFn
(instance BirthsPerThousandFn BinaryFunction)
(domain BirthsPerThousandFn 1 GeopoliticalArea)
(domain BirthsPerThousandFn 2 Year)
(range BirthsPerThousandFn RealNumber)
(documentation BirthsPerThousandFn EnglishLanguage "(&%BirthsPerThousandFn ?AREA ?YEAR)
denotes the &%RealNumber that represents the number of births per thousand
individuals in the population of the &%GeopoliticalArea ?AREA for Year ?YEAR.
This number gives the average annual number of births during a year per 1,000
persons in the population at midyear, also known as crude birth rate. The
birth rate is usually the dominant factor in determining the rate of
population growth. It depends on both the level of fertility and the age
structure of the population.")
;; Definition of &%BirthsPerThousandFn
(<=>
(equal (BirthsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER)
(and
(equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS)
(equal ?BIRTHCOUNT
(CardinalityFn
(KappaFn ?BIRTH
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INFANT)
(instance ?INFANT Human)
(during (WhenFn ?BIRTH) (YearFn ?YEAR))
(equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA)))))
(equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
;; E. Death rate
;; DeathsPerThousandFn
(instance DeathsPerThousandFn BinaryFunction)
(domain DeathsPerThousandFn 1 GeopoliticalArea)
(domain DeathsPerThousandFn 2 Year)
(range DeathsPerThousandFn RealNumber)
(documentation DeathsPerThousandFn EnglishLanguage "(&%DeathsPerThousandFn ?AREA ?YEAR)
denotes the &%RealNumber that represents the number of deaths per thousand
individuals in the population of the &%GeopoliticalArea ?AREA for Year ?YEAR.
This number gives the average annual number of deaths during a year per 1,000
population at midyear, also known as crude death rate. The death rate, while
only a rough indicator of the mortality situation in a country, accurately
indicates the current mortality impact on population growth. This indicator
is significantly affected by age distribution, and most countries will
eventually show a rise in the overall death rate, in spite of continued
decline in mortality at all ages, as declining fertility results in an aging
population.")
;; Definition of &%DeathsPerThousandFn
(<=>
(equal (DeathsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER)
(and
(equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS)
(equal ?DEATHCOUNT
(CardinalityFn
(KappaFn ?DEATH
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?PERSON)
(instance ?PERSON Human)
(during (WhenFn ?DEATH) (YearFn ?YEAR))
(equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA)))))
(equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
;; F. Net migration rate
;; MigrantsPerThousandFn
(instance MigrantsPerThousandFn BinaryFunction)
(domain MigrantsPerThousandFn 1 GeopoliticalArea)
(domain MigrantsPerThousandFn 2 Year)
(range MigrantsPerThousandFn RealNumber)
(documentation MigrantsPerThousandFn EnglishLanguage "(&%MigrantsPerThousandFn ?AREA) denotes
the &%RealNumber that represents the number of migrants per thousand
individuals in the population of the &%GeopoliticalArea ?AREA. This entry
includes the figure for the difference between the number of persons entering
and leaving a country during the year per 1,000 persons (based on midyear
population). An excess of persons entering the country is referred to as net
immigration (e.g., 3.56 migrants/1,000 population), an excess of persons
leaving the country as net emigration (e.g., -9.26 migrants/1,000
population). The net migration rate indicates the contribution of migration
to the overall level of population change. High levels of migration can cause
problems such as increasing unemployment and potential ethnic strife (if
people are coming in) or a reduction in the labor force, perhaps in certain
key sectors (if people are leaving).")
;; Definition of &%MigrantsPerThousandFn
(<=>
(equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER)
(and
(equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
(holdsDuring (YearFn ?YEAR)
(equal (PopulationFn ?AREA) ?POPULATION))
(equal (DivisionFn ?POPULATION 1000) ?THOUSANDS)
(equal ?IMMIGRATION
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(holdsDuring (YearFn ?PREVIOUSYEAR)
(not
(inhabits ?PERSON ?AREA)))
(holdsDuring (YearFn ?YEAR)
(inhabits ?PERSON ?AREA))))))
(equal ?EMMIGRATION
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(holdsDuring (YearFn ?PREVIOUSYEAR)
(inhabits ?PERSON ?AREA))
(holdsDuring (YearFn ?YEAR)
(not
(inhabits ?PERSON ?AREA)))))))
(equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
;; G. Sex ratio
;; MaleToFemaleRatioFn
(instance MaleToFemaleRatioFn UnaryFunction)
(domain MaleToFemaleRatioFn 1 GeopoliticalArea)
(range MaleToFemaleRatioFn RealNumber)
(documentation MaleToFemaleRatioFn EnglishLanguage "(&%MaleToFemaleRatioFn ?AREA) denotes the
&%RealNumber that represents the ratio of male to female individuals in the
population of the &%GeopoliticalArea ?AREA. This is the number of males for
each female for the total population. Sex ratio at birth has recently emerged
as an indicator of certain kinds of sex discrimination in some countries. For
instance, high sex ratios at birth in some Asian countries are now attributed
to sex-selective abortion and infanticide due to a strong preference for sons.
This will affect future marriage patterns and fertility patterns. Eventually
it could cause unrest among young adult males who are unable to find
partners.")
;; Definition of &%MaleToFemaleRatioFn
(<=>
(equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
(and
(equal ?MALECOUNT
(CardinalityFn
(KappaFn ?MALE
(and
(instance ?MALE Human)
(attribute ?MALE Male)
(inhabits ?MALE ?AREA)))))
(equal ?FEMALECOUNT
(CardinalityFn
(KappaFn ?FEMALE
(and
(instance ?FEMALE Human)
(attribute ?FEMALE Female)
(inhabits ?FEMALE ?AREA)))))
(equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
;; H. Infant mortality rate
;; DeathsPerThousandLiveBirthsFn
(instance DeathsPerThousandLiveBirthsFn BinaryFunction)
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea)
(domain DeathsPerThousandLiveBirthsFn 2 Year)
(range DeathsPerThousandLiveBirthsFn RealNumber)
(documentation DeathsPerThousandLiveBirthsFn EnglishLanguage
"(&%DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) denotes the &%RealNumber that
represents the number of deaths of infants under one year old in a given year
per 1,000 live births in the same year. This rate is often used as an
indicator of the level of health in a country.")
;; Definition of &%DeathsPerThousandLiveBirthsFn
(<=>
(equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER)
(and
(equal ?BIRTHCOUNT
(CardinalityFn
(KappaFn ?BIRTH
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INFANT)
(instance ?INFANT Human)
(during (WhenFn ?BIRTH) (YearFn ?YEAR))
(equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA)))))
(equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(equal ?INFANTDEATHCOUNT
(CardinalityFn
(KappaFn ?DEATH
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?INFANT)
(instance ?INFANT Human)
(age ?INFANT (MeasureFn ?AGE YearDuration))
(lessThan ?AGE 1)
(during (WhenFn ?DEATH) (YearFn ?YEAR))
(equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA)))))
(equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
;; I. Life expectancy at birth
;; Calculation of the average of the elements of the list involves the
;; stipulation of a second list described as a running total of the elements
;; in the original list. The average of the first list is equal to the final
;; element in the running total divided by the number of list elements.
(<=>
(average ?LIST1 ?AVERAGE)
(exists (?LIST2)
(and
(equal (ListLengthFn ?LIST2) (ListLengthFn ?LIST1))
(equal (ListOrderFn ?LIST2 1) (ListOrderFn ?LIST1 1))
(forall (?ITEMFROM2)
(=>
(inList ?ITEMFROM2 ?LIST2)
(exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(and
(greaterThan ?POSITION 1)
(lessThanOrEqualTo ?POSITION (ListLengthFn ?LIST2))
(equal (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
(inList ?ITEMFROM1 ?LIST1)
(equal ?POSITION (ListOrderFn ?LIST1 ?ITEMFROM1))
(inList ?PRIORFROM2 ?LIST2)
(equal ?POSITIONMINUSONE (SubtractionFn ?POSITION 1))
(equal ?POSITIONMINUSONE (ListOrderFn ?LIST2 ?PRIORFROM2))
(equal ?ITEMFROM2 (AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
(equal ?LASTPLACE (ListLengthFn ?LIST2))
(equal ?AVERAGE (DivisionFn (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))
;; LifeExpectancyAtBirthFn
(instance LifeExpectancyAtBirthFn BinaryFunction)
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea)
(domain LifeExpectancyAtBirthFn 2 Year)
(range LifeExpectancyAtBirthFn RealNumber)
(documentation LifeExpectancyAtBirthFn EnglishLanguage "(&%LifeExpectancyAtBirthFn ?AREA
?YEAR) denotes the &%RealNumber that represents the average number of years
to be lived by a group of people born in the same year, if mortality at each
age remains constant in the future. Life expectancy at birth is also a measure
of overall quality of life in a country and summarizes the mortality at all
ages. It can also be thought of as indicating the potential return on
investment in human capital and is necessary for the calculation of various
actuarial measures.")
;; Definition of &%LifeExpectancyAtBirthFn
(<=>
(equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER)
(exists (?LIST)
(and
(instance ?LIST List)
(instance (ListLengthFn ?LIST) ?COUNT)
(forall (?LISTITEM)
(=>
(inList ?LISTITEM ?LIST)
(and
(instance ?LISTITEM ?LIFEEXPECTANCYAGE)
(not
(exists (?NUMBER)
(and
(instance ?NUMBER ?LIFEEXPECTANCYAGE)
(not
(inList ?NUMBER ?LIST)))))
(equal ?COUNT
(CardinalityFn
(KappaFn ?LIFEEXPECTANCYAGE
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INDIVIDUAL)
(instance ?INDIVIDUAL Human)
(during (WhenFn ?BIRTH) (YearFn ?YEAR))
(equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA)
(instance ?DEATH Death)
(experiencer ?DEATH ?INDIVIDUAL)
(holdsDuring (WhenFn ?DEATH)
(age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
(average ?LIST ?REALNUMBER))))
;; MaleLifeExpectancyAtBirthFn
(instance MaleLifeExpectancyAtBirthFn BinaryFunction)
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea)
(domain MaleLifeExpectancyAtBirthFn 2 Year)
(range MaleLifeExpectancyAtBirthFn RealNumber)
(documentation MaleLifeExpectancyAtBirthFn EnglishLanguage "(&%MaleLifeExpectancyAtBirthFn
?AREA ?YEAR) denotes the &%RealNumber that represents the average number of
years to be lived by a group of male individuals born in the same year, if
mortality at each age remains constant in the future.")
;; Definition of &%MaleLifeExpectancyAtBirthFn
(<=>
(equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER)
(exists (?LIST)
(and
(instance ?LIST List)
(instance (ListLengthFn ?LIST) ?COUNT)
(forall (?LISTITEM)
(=>
(inList ?LISTITEM ?LIST)
(and
(instance ?LISTITEM ?LIFEEXPECTANCYAGE)
(not
(exists (?NUMBER)
(and
(instance ?NUMBER ?LIFEEXPECTANCYAGE)
(not
(inList ?NUMBER ?LIST)))))
(equal ?COUNT
(CardinalityFn
(KappaFn ?LIFEEXPECTANCYAGE
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INDIVIDUAL)
(instance ?INDIVIDUAL Human)
(attribute ?INDIVIDUAL Male)
(during (WhenFn ?BIRTH) (YearFn ?YEAR))
(equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA)
(instance ?DEATH Death)
(experiencer ?DEATH ?INDIVIDUAL)
(holdsDuring (WhenFn ?DEATH)
(age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
(average ?LIST ?REALNUMBER))))
;; FemaleLifeExpectancyAtBirthFn
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea)
(domain FemaleLifeExpectancyAtBirthFn 2 Year)
(range FemaleLifeExpectancyAtBirthFn RealNumber)
(documentation FemaleLifeExpectancyAtBirthFn EnglishLanguage "(&%FealeLifeExpectancyAtBirthFn
?AREA ?YEAR) denotes the &%RealNumber that represents the average number of
years to be lived by a group of female individuals born in the same year, if
mortality at each age remains constant in the future.")
;; Definition of &%FemaleLifeExpectancyAtBirthFn
(<=>
(equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER)
(exists (?LIST)
(and
(instance ?LIST List)
(instance (ListLengthFn ?LIST) ?COUNT)
(forall (?LISTITEM)
(=>
(inList ?LISTITEM ?LIST)
(and
(instance ?LISTITEM ?LIFEEXPECTANCYAGE)
(not
(exists (?NUMBER)
(and
(instance ?NUMBER ?LIFEEXPECTANCYAGE)
(not
(inList ?NUMBER ?LIST)))))
(equal ?COUNT
(CardinalityFn
(KappaFn ?LIFEEXPECTANCYAGE
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INDIVIDUAL)
(instance ?INDIVIDUAL Human)
(attribute ?INDIVIDUAL Female)
(during (WhenFn ?BIRTH) (YearFn ?YEAR))
(equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA)
(instance ?DEATH Death)
(experiencer ?DEATH ?INDIVIDUAL)
(holdsDuring (WhenFn ?DEATH)
(age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
(average ?LIST ?REALNUMBER))))
;; J. Total fertility rate
;; ChildrenBornPerWomanFn
(instance ChildrenBornPerWomanFn BinaryFunction)
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea)
(domain ChildrenBornPerWomanFn 2 Year)
(range ChildrenBornPerWomanFn RealNumber)
(documentation ChildrenBornPerWomanFn EnglishLanguage "This entry gives a figure for the
average number of children that would be born per woman if all women lived
to the end of their childbearing years and bore children according to a
given fertility rate at each age. The total fertility rate is a more direct
measure of the level of fertility than the crude birth rate, since it
refers to births per woman. This indicator shows the potential for population
growth in the country. High rates will also place some limits on the labor
force participation rates for women. Large numbers of children born to women
indicate large family sizes that might limit the ability of the families to
feed and educate their children.")
;; Definition of &%ChildrenBornPerWomanFn
(equal (ChildrenBornPerWomanFn ?AREA (YearFn ?YEAR))
(CardinalityFn
(KappaFn ?INFANT
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INFANT)
(agent ?BIRTH ?WOMAN)
(instance ?WOMAN Human)
(attribute ?WOMAN Female)
(holdsDuring (YearFn ?YEAR)
(inhabits ?WOMAN ?AREA))))))
;; K. HIV/AIDS - adult prevalence rate
;; L. HIV/AIDS - people living with HIV/AIDS
;; M. HIV/AIDS - deaths
;; HivAids
(instance HivAids DiseaseOrSyndrome)
(documentation HivAids EnglishLanguage "&%HivAids refers to the acquired immunodeficiency
syndrome, a disease of the human immune system that is characterized
cytologically especially by reduction in the numbers of CD4-bearing helper
T cells to 20 percent or less of normal rendering the subject highly
vulnerable to life-threatening conditions (as Pneumocystis carinii pneumonia)
and to some that become life-threatening (as Kaposi's sarcoma) and that is
caused by infection with HIV commonly transmitted in infected blood and
bodily secretions (as semen) especially during illicit intravenous drug use
and sexual intercourse.")
;; N. Nationality
;; (NOT FORMALIZED)
;; O. Ethnic groups
(subclass RacialEthnicGroup EthnicGroup)
(documentation RacialEthnicGroup EnglishLanguage "A &%RacialEthnicGroup is an
&%EthnicGroup based on common racial background.")
(instance AimakEthnicity EthnicGroup)
(subCollection AimakEthnicity AsianEthnicity)
(documentation AimakEthnicity EnglishLanguage "Half a million Chahar Aimaqs, whose origin
is vague, live in Afghanistan west of the Hazarajat in the region between
Mazar-i-Sharif, Herat and Bamiyan triangle.")
(instance AmerindianEthnicity RacialEthnicGroup)
(documentation AmerindianEthnicity EnglishLanguage "A broad ethnic group encompassing any
of the North, Central, or South American tribal peoples.")
(instance AsianEthnicity RacialEthnicGroup)
(documentation AsianEthnicity EnglishLanguage "A broad racial division encompassing
various peoples of Asian origin.")
(instance BalochEthnicity EthnicGroup)
(documentation BalochEthnicity EnglishLanguage "In Afghanistan, Baluchis nomads drive
their flocks across the border from their province in southwestern
Pakistan. They live mostly in the southern Afghan provinces of Helmand,
Kandahar, Nimruz and Farah.")
(instance BasqueEthnicity EthnicGroup)
(documentation BasqueEthnicity EnglishLanguage "An ethnic group of Europe, residing in the
Basque lands of France and Spain, whose settlement predates the arrival of
the Indo-European peoples.")
(instance BlackEthnicity RacialEthnicGroup)
(documentation BlackEthnicity EnglishLanguage "A broad racial division encompassing
various African, African-American, and Caribbean peoples.")
(instance CelticEthnicity EthnicGroup)
(documentation CelticEthnicity EnglishLanguage "An ethnic group encompassing the Irish,
Welsh, Scottish, Breton, and related people in the British Isles and Northern
France.")
(instance CentralAsianTurkishEthnicity EthnicGroup)
(documentation CentralAsianTurkishEthnicity EnglishLanguage "In Uzbekistan, Turkmenistan, and
north of the Hindu Kush mountains in Afghan Turkistan live people decended
from Central Asian Turks.")
(instance HazaraEthnicity EthnicGroup)
(subCollection HazaraEthnicity AsianEthnicity)
(documentation HazaraEthnicity EnglishLanguage "The Hazaras speak Farsi and are mostly Shi'i
Muslims (primarily Twelver Shi'i, some Ismaili Shi'is), yet there are also
some Sunni Muslim Hazaras. They settled in Afghanistan at least as far back
as the 13th century. Hazaras have always lived on the edge of economic
survival. As a result of Pashtun expansionism in the late 18th and early
19th centuries which was fueled by Sunni prejudices against the Shi'i (thus
attracting the help of the mostly Sunni Tajiks and Uzbeks) the Hazaras were
driven to the barren dry mountains of central Afghanistan (the Hazarajat)
where they live today separated into nine regionally distinct enclaves. The
Hazaras are primarily sedentary farmers practicing some ancillary herding.
Many Hazaras also migrated to the major towns, particularly Kabul where they
occupied the lowest economic rungs. It is perhaps this economic deprivation
which caused the Hazaras and other Shi'i to organize politically during the
1960s and 1970s and concentrate on gaining political autonomy for themselves
during the Soviet occupation. During the Soviet occupation, the Soviets
abandoned any pretense of controlling the region. During this time, the
Hazaras engaged in a violent civil war.")
(instance IndochineseEthnicity EthnicGroup)
(subCollection IndochineseEthnicity AsianEthnicity)
(documentation IndochineseEthnicity EnglishLanguage "The &%IndochineseEthnicity refers to
various peoples originating from Southeast Asia.")
(instance LatinEthnicity EthnicGroup)
(documentation LatinEthnicity EnglishLanguage "The &%LatinEthnicity refers to various peoples
who speak romance languages in European lands near the Mediterranean.")
(instance PolynesianEthnicity EthnicGroup)
(documentation PolynesianEthnicity EnglishLanguage "The &%PolynesianEthnicity refers to various
peoples from the Pacific Islands of Oceania.")
(instance NorthAfricanEthnicity EthnicGroup)
(documentation NorthAfricanEthnicity EnglishLanguage "The &%NorthAfricanEthnicity refers to
various peoples originating from North Africa.")
(instance PashtunEthnicity EthnicGroup)
(documentation PashtunEthnicity EnglishLanguage "The Pathan (Pashtun) people form the
dominant ethnic and linguistic community in Afghanistan, accounting for just
over half the population. Tribally organized, the Pathan are concentrated in
the east and the south. As they gained control over the rest of the country
in the 19th century, however, many of them settled in other areas too. The
Pashtuns mostly speak Pashtu (although some residing in Kabul and other urban
areas speak Dari) and are generally Sunni Muslims. They are divided into
tribal and sub-tribal groups to which they remain loyal. These tribal
divisions have been the source of conflict among Pashtuns throughout their
history. Even today, the Pashtun parties are divided along tribal lines. The
majority of Pashtuns make their living off of animal husbandry and
agriculture as well as some trade. In Afghanistan, Pashtuns have
traditionally resided in a large semi-circular area following the Afghan
border form north of the Darya-e-Morgab east and southward to just north of
the 35' latitude. Enclaves of Pashtuns live scattered among other ethnic
groups in much of the rest of the country, especially in the northern regions
and in the western interior due to the resettlement policies of Amir Abdul
Rahman Khan, who ruled Afghanistan from 1880 to 1901. From its founding in
1747 by Ahmad Shah Durrani, Afghanistan has traditionally been dominated by
the Pashtuns.")
(instance RussianEthnicity EthnicGroup)
(subCollection RussianEthnicity SlavicEthnicity)
(documentation RussianEthnicity EnglishLanguage "The &%RussianEthnicity is the dominant
&%SlavicEthnicGroup of Russia.")
(instance SlavicEthnicity EthnicGroup)
(documentation SlavicEthnicity EnglishLanguage "The &%SlavicEthnicity encompasses peoples of
central and eastern Europe who speak a slavic language of the Indo-European
family.")
(instance TajikEthnicity EthnicGroup)
(documentation TajikEthnicity EnglishLanguage "The Tajiks are mostly Sunni Muslims and speak
Persian. Tajiks are the principle inhabitants of the republic of Tajikistan
across the northern border from Afghanistan. In Afghanistan, they live
predominantly in the north-east and in the west. Some also live in Kabul.
Because they make up the bulk of Afghanistan's educated elite and possess
considerable wealth, they have significant political influence. Their
influence lies predominantly in the government ministries, public services
and trade bodies. Those living in rural regions engage in agriculture and
herding. They have no specific social structure and tend to adopt those of
their neighbors. Slender and light skinned, the Tajiks have aquiline noses
and usually black hair, although occasionally red and blond. Their history
is vague, and it is possible that they were living in this area before the
Aryan invasion. In Afghanistan, the Tajiks are the second largest group
after the Pashtuns. They are also the Pashtuns' closest rivals for power
and prestige. However, with two brief exceptions, one in the 14th century
and one for nine months in 1929, they never ruled their region. They
survived the Soviet occupation in a much less fragmented state than the
Pashtuns, thus putting them in a better position to challenge Pashtun
dominance.")
(instance TeutonicEthnicity EthnicGroup)
(documentation TeutonicEthnicity EnglishLanguage "People of German or Germanic descent that
reside in Northern and Central Europe and speak a Germanic language of the
Indo-European language family.")
(instance TurkmenEthnicity EthnicGroup)
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity)
(documentation TurkmenEthnicity EnglishLanguage "Turkmen are the principle ethnic group in
Turkmenistan and also live in Afghanistan along the south of the Amu Darya.
This Turkish group speak an archaic form of Turkish and generally speak
Persian as well.")
(instance UzbekEthnicity EthnicGroup)
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity)
(documentation UzbekEthnicity EnglishLanguage "Uzbeks are the principle ethnic group in
Uzbekistan and are also the most populous Turkish group in Afghanistan.
They have broad, flat faces and lighter skin than the Pushtuns. They are
farmers and stockmen, breeding the karakul sheep and an excellent type
of Turkman horse. Many Uzbeks fled into northern Afghanistan in the
1920s to escape the suppression when the Soviet government was trying to
stamp out their customs and Moslem religion.")
(instance WhiteEthnicity RacialEthnicGroup)
(documentation WhiteEthnicity EnglishLanguage "A broad ethnic division encompassing
various European, Hispanic, and Middle Eastern peoples. Also known as
Caucasian.")
;; P. Religions
;; A. RELIGIOUS CONCEPTS
(subclass Deity CognitiveAgent)
(documentation Deity EnglishLanguage "A &%Deity is a &%CognitiveAgent with the rank or essential
nature of a god. Includes both monotheistic and polytheistic gods.")
(instance God Deity)
(documentation God EnglishLanguage "The monotheistic &%Deity worshipped in some form by
many religions, which is seen as perfect in power, wisdom, and goodness,
and which is worshiped as creator and ruler of the universe.")
(subclass ReligiousAttribute RelationalAttribute)
(documentation ReligiousAttribute EnglishLanguage "An &%Attribute indicating the membership
of a &%Human in a &%BeliefGroup. Note that various attributes indicating kinds
of lack of belief in a religion are &%InternalAttributes, since they do not
depend on relation to a particular group.")
(instance BeliefGroupMemberFn UnaryFunction)
(documentation BeliefGroupMemberFn EnglishLanguage "A &%Function that defines
a member of a &%BeliefGroup.")
(domain BeliefGroupMemberFn 1 BeliefGroup)
(range BeliefGroupMemberFn InternalAttribute)
(<=>
(attribute ?I (BeliefGroupMemberFn ?BG))
(member ?I ?BG))
(instance Monk ReligiousPosition)
(documentation Monk EnglishLanguage "A male religious living in a cloister and devoting himself to contemplation and prayer and work. ")
;; B. RELIGIONS AND RELATED BELIEF SYSTEMS
;; I. AGNOSTICISM, ATHESIM, AND NONDENOMINATIONAL STATUS
(instance Agnosticism BeliefGroup)
(documentation Agnosticism EnglishLanguage "The &%BeliefGroup of &%members who hold no belief
on the existence or non-existence of &%God.")
(=>
(member ?AGNOSTIC Agnosticism)
(not
(knows ?AGNOSTIC
(not
(exists (?GOD)
(equal ?GOD God))))))
(instance Agnostic InternalAttribute)
(documentation Agnostic EnglishLanguage "One who subscribes to &%Agnosticism.")
(<=>
(attribute ?INDIVIDUAL Agnostic)
(member ?INDIVIDUAL Agnosticism))
(instance Atheism BeliefGroup)
(documentation Atheism EnglishLanguage "The &%BeliefGroup of &%members who share the belief
that &%God does not exist.")
(=>
(member ?ATHEIST Atheism)
(believes ?ATHEIST
(not
(exists (?GOD)
(equal ?GOD God)))))
(instance Atheist InternalAttribute)
(documentation Atheist EnglishLanguage "One who subscribes to &%Atheism.")
(<=>
(attribute ?INDIVIDUAL Atheist)
(member ?INDIVIDUAL Atheism))
(instance NonDenominationalIndividual InternalAttribute)
(documentation NonDenominationalIndividual EnglishLanguage "An individual who is not a member
of a particular &%ReligiousOrganization, yet who may have religious beliefs,
such as a belief in God.")
(=>
(attribute ?INDIVIDUAL NonDenominationalIndividual)
(not
(exists (?RELIGION)
(and
(instance ?RELIGION ReligiousOrganization)
(member ?INDIVIDUAL ?RELIGION)))))
(instance Deist InternalAttribute)
(documentation Deist EnglishLanguage "An individual who may or may not be a member
of a particular &%ReligiousOrganization, and who has religious beliefs,
including a belief in some kind of God.")
(=>
(attribute ?DEIST Deist)
(believes ?DEIST
(exists (?GOD)
(equal ?GOD God))))
;; II. BAHA'ISM
(instance Bahaism BeliefGroup)
(documentation Bahaism EnglishLanguage "&%Bahaism is a faith that emerged from an Islamic
environment and which incorporated beliefs of the precursor faith of Babism
into its revelation.")
(instance Bahai ReligiousAttribute)
(documentation Bahai EnglishLanguage "One who subscribes to the beliefs fo Bahaism.")
(<=>
(attribute ?INDIVIDUAL Bahai)
(member ?INDIVIDUAL Bahaism))
;; III. BUDDHISM
(instance Buddhism BeliefGroup)
(documentation Buddhism EnglishLanguage "&%Buddhism is one of the major religions to
emerge from Asia.")
(instance Buddhist ReligiousAttribute)
(documentation Buddhist EnglishLanguage "One who subscribes to the beliefs fo Buddhism.")
(<=>
(attribute ?INDIVIDUAL Buddhist)
(member ?INDIVIDUAL Buddhism))
;; IV. CHRISTIANITY
(instance Christianity BeliefGroup)
(documentation Christianity EnglishLanguage "The religion derived from Jesus Christ, based on
the Bible as sacred scripture, and professed by Eastern, Catholic, and
Protestant bodies, among other subdivisions.")
(subclass ChristianService ReligiousService)
(documentation ChristianService EnglishLanguage "Any &%ReligiousService that is conducted by
&%members of &%Christianity.")
(=>
(and
(instance ?SERVICE ChristianService)
(agent ?SERVICE ?PERSON)
(instance ?PERSON Human))
(member ?PERSON Christianity))
(subclass Christian ReligiousAttribute)
(documentation Christian EnglishLanguage "A &%Christian is one who subscribes to the beliefs
of &%Christianity.")
(<=>
(and
(attribute ?INDIVIDUAL ?CH)
(instance ?CH Christian))
(member ?INDIVIDUAL Christianity))
(subclass Church ReligiousOrganization)
(documentation Church EnglishLanguage "An &%instance of &%Church
is a &%ReligiousOrganization whose &%members conduct
&%ChristianServices.")
(=>
(instance ?C Church)
(exists (?P ?CS)
(and
(instance ?CS ChristianService)
(agent ?CS ?P)
(member ?P ?C))))
(subclass LocalChurch Church)
(documentation LocalChurch EnglishLanguage "An &%instance of
&%LocalChurch is a single, localized congregation, which may be
affiliated with (a &%subOrganization of) a non-local or dispersed
parent denomination or other &%Church.")
;; OrganizationHoldingChurchEvent
;; ChurchAndSchool
(subclass ChurchBuilding ReligiousBuilding)
(documentation ChurchBuilding EnglishLanguage "In the Christian religion, a church building is a building or structure whose primary purpose is to
facilitate the meeting of a church.")
(instance Bishop ReligiousPosition)
(documentation Bishop EnglishLanguage "A bishop is an ordained or consecrated member of the Christian clergy who is generally entrusted with a position of authority and oversight.")
(subclass AnglicanChurch Church)
(instance ChurchOfEngland AnglicanChurch)
(documentation AnglicanChurch EnglishLanguage "An &%instance of
&%AnglicalChurch is a &%Church that is a &%subOrganization of the
&%ChurchOfEngland.")
(=>
(instance ?C AnglicanChurch)
(subOrganization ?C ChurchOfEngland))
(subclass AnglicanApostolicEpiscopalFreeChurch Church)
(documentation AnglicanApostolicEpiscopalFreeChurch EnglishLanguage "An Anglican Apostolic Episcopal Free &%Church.")
(subclass FreeChurchOfScotland Church)
(documentation FreeChurchOfScotland EnglishLanguage "A &%Church belonging to the Free Church of Scotland.")
(subclass FreeChurchOfEngland Church)
(documentation FreeChurchOfEngland EnglishLanguage "A &%Church belonging to the Free Church of England.")
(subclass ScottishEpiscopalChurch Church)
(documentation ScottishEpiscopalChurch EnglishLanguage "A
Scottish Episcopal &%Church.")
(subclass BaptistChurch Church)
(documentation BaptistChurch EnglishLanguage "The &%Class of &%BaptistChurches.")
(subclass BaptistUnionOfIreland BaptistChurch)
(documentation BaptistUnionOfIreland EnglishLanguage "The &%Class
of Baptist Union of Ireland &%Churches.")
(subclass BaptistUnionOfScotland BaptistChurch)
(documentation BaptistUnionOfScotland EnglishLanguage "The
&%Class of Baptist Union of Scotland &%Churches.")
(subclass BaptistUnionOfWales BaptistChurch)
(documentation BaptistUnionOfWales EnglishLanguage "The &%Class
of Baptist Union of Wales &%Churches.")
(subclass GospelStandardStrictBaptistChurch BaptistChurch)
(documentation GospelStandardStrictBaptistChurch
EnglishLanguage "The &%Class of Gospel Standard Strict Baptist
Church &%Churches.")
(subclass GraceBaptistAssembly BaptistChurch)
(documentation GraceBaptistAssembly EnglishLanguage "The &%Class
of Grace Baptist Assembly &%Churches.")
(subclass OldBaptistUnionChurch BaptistChurch)
(documentation OldBaptistUnionChurch EnglishLanguage "The &%Class
of old Baptist Union &%Churches.")
(subclass BaptistUnionOfGB BaptistChurch)
(documentation BaptistUnionOfGB EnglishLanguage "The &%Class of
Baptist Union of Great Britain &%Churches.")
(subclass Baptistsamfundet BaptistChurch)
(documentation Baptistsamfundet EnglishLanguage "The &%Class of
Baptistsamfundet &%Churches.")
(subclass DetNorskeBaptistsamfunn BaptistChurch)
(documentation DetNorskeBaptistsamfunn EnglishLanguage "The
&%Class of Det Norske Baptistsamfunn &%Churches.")
(subclass LocalRomanCatholicChurch LocalChurch)
(documentation LocalRomanCatholicChurch EnglishLanguage "The &%Class of local Roman Catholic Churches.")
(=>
(instance ?C LocalRomanCatholicChurch)
(subOrganization ?C RomanCatholicChurch))
(subclass EvangelicalChurch Church)
(documentation EvangelicalChurch EnglishLanguage "The &%Class of
Evangelical &%Churches.")
(subclass CovenantChurch EvangelicalChurch)
(documentation CovenantChurch EnglishLanguage "The &%Class of Covenant
&%Churches.")
(subclass SvenskaAlliansmissionenProtestantFreeChurch EvangelicalChurch)
(documentation SvenskaAlliansmissionenProtestantFreeChurch
EnglishLanguage "The &%Class of Svenska
Alliansmissionen/Protestant Free &%Churches.")
(subclass UnionOfEvangelicalChurches EvangelicalChurch)
(documentation UnionOfEvangelicalChurches EnglishLanguage "The
&%Class of Union of Evangelical &%Churches.")
(subclass ChristianBrethren EvangelicalChurch)
(documentation ChristianBrethren EnglishLanguage "The &%Class of
Christian Brethren &%Churches.")
(subclass CountessOfHuntingdonsConnexion EvangelicalChurch)
(documentation CountessOfHuntingdonsConnexion
EnglishLanguage "The &%Class of the Countess of Huntingdon's
Connexion &%Churches.")
(subclass PlymouthBrethrenAssembly EvangelicalChurch)
(documentation PlymouthBrethrenAssembly EnglishLanguage "The
&%Class of Plymouth Brethren Assembly &%Churches.")
(subclass EvangelicalPresbyterianChurchOfIreland EvangelicalChurch)
(documentation EvangelicalPresbyterianChurchOfIreland
EnglishLanguage "The &%Class of Evangelical Presbyterian Church
of Ireland &%Churches.")
(subclass EvangelicalFellowshipOfCongregationalChurches EvangelicalChurch)
(documentation EvangelicalFellowshipOfCongregationalChurches
EnglishLanguage "The &%Class of Evangelical Fellowship of
Congregational &%Churches")
(subclass MoravianChurch EvangelicalChurch)
(documentation MoravianChurch EnglishLanguage "The &%Class of
Moravian &%Churches.")
(subclass SalvationArmyMission EvangelicalChurch)
(documentation SalvationArmyMission EnglishLanguage "The &%Class
of Salvation Army Mission congregations.")
(subclass CityMissions EvangelicalChurch)
(documentation CityMissions EnglishLanguage "The &%Class of City
Missions congregations.")
(subclass FellowshipOfIndependentEvangelicalChurches EvangelicalChurch)
(documentation FellowshipOfIndependentEvangelicalChurches
EnglishLanguage "The &%Class of Fellowship of Independent
Evangelical Church congregations.")
(subclass FreeEvangelicalChurch EvangelicalChurch)
(documentation FreeEvangelicalChurch EnglishLanguage "The &%Class
of Free Evangelical Church congregations.")
(subclass CYFA EvangelicalChurch)
(documentation CYFA EnglishLanguage "The &%Class of CYFA congregations.")
(subclass ScriptureUnion EvangelicalChurch)
(documentation ScriptureUnion EnglishLanguage "The &%Class of
Scripture Union congregations.")
(subclass WomensAglowGroup EvangelicalChurch)
(documentation WomensAglowGroup EnglishLanguage "The &%Class of
Women's Aglow congregations.")
(subclass EvangeliskaFosterlandsStiftelsen EvangelicalChurch)
(documentation EvangeliskaFosterlandsStiftelsen
EnglishLanguage "The &%Class of Evangeliska Fosterlands
Stiftelsen (EFS) congregations.")
(subclass Evangeliska-Frikyrkan EvangelicalChurch)
(documentation Evangeliska-Frikyrkan EnglishLanguage "The &%Class
of Evangeliska Frikyrkan (EFK) congregations.")
(subclass Fraelsningsarmen EvangelicalChurch)
(documentation Fraelsningsarmen EnglishLanguage "The &%Class of
Fraelsningsarmen &%Churches.")
(subclass SaltAndLightChurch EvangelicalChurch)
(documentation SaltAndLightChurch EnglishLanguage "The &%Class of
Salt & Light &%Churches.")
(subclass DenEvangeliskLutherskeFrikirke EvangelicalChurch)
(documentation DenEvangeliskLutherskeFrikirke
EnglishLanguage "The &%Class of Den Evangelisk Lutherske Frikirke
congregations.")
(subclass DeFrieEvangeliskeForsamlinger EvangelicalChurch)
(documentation DeFrieEvangeliskeForsamlinger EnglishLanguage "The
&%Class of Frie Evangeliske Forsamlinger (DFEF) congregations.")
(subclass Frelsesarmeen EvangelicalChurch)
(documentation Frelsesarmeen EnglishLanguage "The &%Class of
Frelsesarmeen Church congregations.")