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 804-806
(subclass Church ReligiousOrganization) People.kif 803-803

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


(instance ChurchOfJesusChristOfLatterDaySaints Church) People.kif 1156-1156
(subclass Adventistsamfundet Church) People.kif 1161-1161
(subclass AnglicanApostolicEpiscopalFreeChurch Church) People.kif 840-840
(subclass AnglicanChurch Church) People.kif 831-831
(subclass BaptistChurch Church) People.kif 853-853
(subclass CharismaticChurch Church) People.kif 1045-1045
(subclass ChristianUnion Church) People.kif 1128-1128
(subclass CrusadersUnion Church) People.kif 1125-1125
(subclass EcumenicalProject Church) People.kif 1129-1129
(subclass EvangelicalChurch Church) People.kif 899-899
(subclass FreeChurchOfEngland Church) People.kif 846-846
(subclass FreeChurchOfScotland Church) People.kif 843-843
(subclass Katolskakyrkan Church) People.kif 1162-1162
(subclass LocalChurch Church) People.kif 815-815
(subclass LutheranChurch Church) People.kif 1181-1181
(subclass MethodistChurch Church) People.kif 1013-1013
(subclass Missionskyrkan Church) People.kif 1164-1164
(subclass MissionssaellskapetBibeltrognaVaenner Church) People.kif 1163-1163
(subclass Ovrigt Church) People.kif 1169-1169
(subclass Pingstroerelsen Church) People.kif 1165-1165
(subclass PresbyterianChurch Church) People.kif 1172-1172
(subclass ScottishEpiscopalChurch Church) People.kif 849-849
(subclass SeventhDayAdventistChurch Church) People.kif 1127-1127
(subclass ShaftesburySociety Church) People.kif 1124-1124
(subclass SvenskaAlliansmissionen Church) People.kif 1166-1166

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 807-813


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