TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(instance ChurchOfJesusChristOfLatterDaySaints Church)	People.kif 1156-1156
(subclass Adventistsamfundet Church)	People.kif 1161-1161
(subclass AnglicanApostolicEpiscopalFreeChurch Church)	People.kif 840-840
(subclass AnglicanChurch Church)	People.kif 831-831
(subclass BaptistChurch Church)	People.kif 853-853
(subclass CharismaticChurch Church)	People.kif 1045-1045
(subclass ChristianUnion Church)	People.kif 1128-1128
(subclass CrusadersUnion Church)	People.kif 1125-1125
(subclass EcumenicalProject Church)	People.kif 1129-1129
(subclass EvangelicalChurch Church)	People.kif 899-899
(subclass FreeChurchOfEngland Church)	People.kif 846-846
(subclass FreeChurchOfScotland Church)	People.kif 843-843
(subclass Katolskakyrkan Church)	People.kif 1162-1162
(subclass LocalChurch Church)	People.kif 815-815
(subclass LutheranChurch Church)	People.kif 1181-1181
(subclass MethodistChurch Church)	People.kif 1013-1013
(subclass Missionskyrkan Church)	People.kif 1164-1164
(subclass MissionssaellskapetBibeltrognaVaenner Church)	People.kif 1163-1163
(subclass Ovrigt Church)	People.kif 1169-1169
(subclass Pingstroerelsen Church)	People.kif 1165-1165
(subclass PresbyterianChurch Church)	People.kif 1172-1172
(subclass ScottishEpiscopalChurch Church)	People.kif 849-849
(subclass SeventhDayAdventistChurch Church)	People.kif 1127-1127
(subclass ShaftesburySociety Church)	People.kif 1124-1124
(subclass SvenskaAlliansmissionen Church)	People.kif 1166-1166

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 807-813