Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Church

 Sigma KEE - Church
Church(church)Christendom, Christianity

appearance as argument number 1
-------------------------


(subclass Church ReligiousOrganization) People.kif 835-835 Church is a subclass of religious organization
(documentation Church EnglishLanguage "An instance of Church is a ReligiousOrganization whose members conduct ChristianServices.") People.kif 836-838 Church is a subclass of religious organization

appearance as argument number 2
-------------------------


(subclass LocalChurch Church) People.kif 847-847 Local church is a subclass of church
(subclass AnglicanChurch Church) People.kif 863-863 Anglican church is a subclass of church
(subclass AnglicanApostolicEpiscopalFreeChurch Church) People.kif 872-872 Anglican Apostolic Episcopal free church is a subclass of church
(subclass FreeChurchOfScotland Church) People.kif 875-875 Free church of Scotland is a subclass of church
(subclass FreeChurchOfEngland Church) People.kif 878-878 Free church of England is a subclass of church
(subclass ScottishEpiscopalChurch Church) People.kif 881-881 Scottish Episcopal church is a subclass of church
(subclass BaptistChurch Church) People.kif 885-885 Baptist church is a subclass of church
(subclass EvangelicalChurch Church) People.kif 931-931 Evangelical church is a subclass of church
(subclass MethodistChurch Church) People.kif 1046-1046 Methodist church is a subclass of church
(subclass CharismaticChurch Church) People.kif 1078-1078 Charismatic church is a subclass of church
(subclass ShaftesburySociety Church) People.kif 1157-1157 Shaftesbury society is a subclass of church
(subclass CrusadersUnion Church) People.kif 1158-1158 Crusaders union is a subclass of church
(subclass UnionOfWelshIndependents Church) People.kif 1159-1159 Union of welsh independents is a subclass of church
(subclass SeventhDayAdventistChurch Church) People.kif 1160-1160 Seventh day Adventist church is a subclass of church
(subclass ChristianUnion Church) People.kif 1161-1161 Christian union is a subclass of church
(subclass EcumenicalProject Church) People.kif 1162-1162 Ecumenical project is a subclass of church
(subclass YWAM_BYFC Church) People.kif 1181-1181 YWAM_BYFC is a subclass of church
(instance ChurchOfJesusChristOfLatterDaySaints Church) People.kif 1189-1189 Church of Jesus Christ of latter day saints is an instance of church
(subclass Adventistsamfundet Church) People.kif 1194-1194 Adventistsamfundet is a subclass of church
(subclass Katolskakyrkan Church) People.kif 1195-1195 Katolskakyrkan is a subclass of church
(subclass MissionssaellskapetBibeltrognaVaenner Church) People.kif 1196-1196 Missionssaellskapet bibeltrogna vaenner is a subclass of church
(subclass Missionskyrkan Church) People.kif 1197-1197 Missionskyrkan is a subclass of church
(subclass Pingstroerelsen Church) People.kif 1198-1198 Pingstroerelsen is a subclass of church
(subclass SvenskaAlliansmissionen Church) People.kif 1199-1199 Svenska alliansmissionen is a subclass of church
(subclass SvenskaKyrkan Church) People.kif 1200-1200 Svenska kyrkan is a subclass of church

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 839-845 If X is an instance of church, then there exist Y, Z such that Z is an instance of christian service, Y is an agent of Z, and Y is a member of X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners