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	Church 是宗教机构的 subclass

appearance as argument number 2

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

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

如果群体是 Church 的 instance，
然后有存在施事体和那个群体S 这样那个群体S 是基督徒服务的 instance 和那个施事体是那个群体S 的 agent 和那个施事体是那个群体的 member

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: