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

KB Term:  Term intersection
English Word: 

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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners