Church - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Church EnglishLanguage "An instance of Church is a ReligiousOrganization whose members conduct ChristianServices.")	People.kif 802-804
(subclass Church ReligiousOrganization)	People.kif 801-801

appearance as argument number 2

(instance ChurchOfJesusChristOfLatterDaySaints Church)	People.kif 1154-1154
(subclass Adventistsamfundet Church)	People.kif 1159-1159
(subclass AnglicanApostolicEpiscopalFreeChurch Church)	People.kif 838-838
(subclass AnglicanChurch Church)	People.kif 829-829
(subclass BaptistChurch Church)	People.kif 851-851
(subclass CharismaticChurch Church)	People.kif 1043-1043
(subclass ChristianUnion Church)	People.kif 1126-1126
(subclass CrusadersUnion Church)	People.kif 1123-1123
(subclass EcumenicalProject Church)	People.kif 1127-1127
(subclass EvangelicalChurch Church)	People.kif 897-897
(subclass FreeChurchOfEngland Church)	People.kif 844-844
(subclass FreeChurchOfScotland Church)	People.kif 841-841
(subclass Katolskakyrkan Church)	People.kif 1160-1160
(subclass LocalChurch Church)	People.kif 813-813
(subclass LutheranChurch Church)	People.kif 1179-1179
(subclass MethodistChurch Church)	People.kif 1011-1011
(subclass Missionskyrkan Church)	People.kif 1162-1162
(subclass MissionssaellskapetBibeltrognaVaenner Church)	People.kif 1161-1161
(subclass Ovrigt Church)	People.kif 1167-1167
(subclass Pingstroerelsen Church)	People.kif 1163-1163
(subclass PresbyterianChurch Church)	People.kif 1170-1170
(subclass ScottishEpiscopalChurch Church)	People.kif 847-847
(subclass SeventhDayAdventistChurch Church)	People.kif 1125-1125
(subclass ShaftesburySociety Church)	People.kif 1122-1122
(subclass SvenskaAlliansmissionen Church)	People.kif 1164-1164

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
    (instance ?C Church)
    (exists (?P ?CS)
        (and
            (instance ?CS ChristianService)
            (agent ?CS ?P)
            (member ?P ?C))))

People.kif 805-811