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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Church
Church

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

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


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

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