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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Church
Church(church)Christendom, Christianity

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 is a subclass of religious organization

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


(instance ChurchOfJesusChristOfLatterDaySaints Church) People.kif 1155-1155 Church of Jesus Christ of latter day saints is an instance of church
(subclass Adventistsamfundet Church) People.kif 1160-1160 Adventistsamfundet is a subclass of church
(subclass AnglicanApostolicEpiscopalFreeChurch Church) People.kif 838-838 Anglican Apostolic Episcopal free church is a subclass of church
(subclass AnglicanChurch Church) People.kif 829-829 Anglican church is a subclass of church
(subclass BaptistChurch Church) People.kif 851-851 Baptist church is a subclass of church
(subclass CharismaticChurch Church) People.kif 1044-1044 Charismatic church is a subclass of church
(subclass ChristianUnion Church) People.kif 1127-1127 Christian union is a subclass of church
(subclass CrusadersUnion Church) People.kif 1124-1124 Crusaders union is a subclass of church
(subclass EcumenicalProject Church) People.kif 1128-1128 Ecumenical project is a subclass of church
(subclass EvangelicalChurch Church) People.kif 897-897 Evangelical church is a subclass of church
(subclass FreeChurchOfEngland Church) People.kif 844-844 Free church of England is a subclass of church
(subclass FreeChurchOfScotland Church) People.kif 841-841 Free church of Scotland is a subclass of church
(subclass Katolskakyrkan Church) People.kif 1161-1161 Katolskakyrkan is a subclass of church
(subclass LocalChurch Church) People.kif 813-813 Local church is a subclass of church
(subclass LutheranChurch Church) People.kif 1180-1180 Lutheran church is a subclass of church
(subclass MethodistChurch Church) People.kif 1012-1012 Methodist church is a subclass of church
(subclass Missionskyrkan Church) People.kif 1163-1163 Missionskyrkan is a subclass of church
(subclass MissionssaellskapetBibeltrognaVaenner Church) People.kif 1162-1162 Missionssaellskapet bibeltrogna vaenner is a subclass of church
(subclass Ovrigt Church) People.kif 1168-1168 Ovrigt is a subclass of church
(subclass Pingstroerelsen Church) People.kif 1164-1164 Pingstroerelsen is a subclass of church
(subclass PresbyterianChurch Church) People.kif 1171-1171 Presbyterian church is a subclass of church
(subclass ScottishEpiscopalChurch Church) People.kif 847-847 Scottish Episcopal church is a subclass of church
(subclass SeventhDayAdventistChurch Church) People.kif 1126-1126 Seventh day Adventist church is a subclass of church
(subclass ShaftesburySociety Church) People.kif 1123-1123 Shaftesbury society is a subclass of church
(subclass SvenskaAlliansmissionen Church) People.kif 1165-1165 Svenska alliansmissionen 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 805-811


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