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 1154-1154 Church of Jesus Christ of latter day saints is an instance of church
(subclass Adventistsamfundet Church) People.kif 1159-1159 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 1043-1043 Charismatic church is a subclass of church
(subclass ChristianUnion Church) People.kif 1126-1126 Christian union is a subclass of church
(subclass CrusadersUnion Church) People.kif 1123-1123 Crusaders union is a subclass of church
(subclass EcumenicalProject Church) People.kif 1127-1127 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 1160-1160 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 1179-1179 Lutheran church is a subclass of church
(subclass MethodistChurch Church) People.kif 1011-1011 Methodist church is a subclass of church
(subclass Missionskyrkan Church) People.kif 1162-1162 Missionskyrkan is a subclass of church
(subclass MissionssaellskapetBibeltrognaVaenner Church) People.kif 1161-1161 Missionssaellskapet bibeltrogna vaenner is a subclass of church
(subclass Ovrigt Church) People.kif 1167-1167 Ovrigt is a subclass of church
(subclass Pingstroerelsen Church) People.kif 1163-1163 Pingstroerelsen is a subclass of church
(subclass PresbyterianChurch Church) People.kif 1170-1170 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 1125-1125 Seventh day Adventist church is a subclass of church
(subclass ShaftesburySociety Church) People.kif 1122-1122 Shaftesbury society is a subclass of church
(subclass SvenskaAlliansmissionen Church) People.kif 1164-1164 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