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 Church ist eine teilkategorie von ReligiousOrganization

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


(instance ChurchOfJesusChristOfLatterDaySaints Church) People.kif 1154-1154 ChurchOfJesusChristOfLatterDaySaints ist ein fall von Church %n{nicht}
(subclass Adventistsamfundet Church) People.kif 1159-1159 Adventistsamfundet ist eine teilkategorie von Church
(subclass AnglicanApostolicEpiscopalFreeChurch Church) People.kif 838-838 AnglicanApostolicEpiscopalFreeChurch ist eine teilkategorie von Church
(subclass AnglicanChurch Church) People.kif 829-829 AnglicanChurch ist eine teilkategorie von Church
(subclass BaptistChurch Church) People.kif 851-851 BaptistChurch ist eine teilkategorie von Church
(subclass CharismaticChurch Church) People.kif 1043-1043 CharismaticChurch ist eine teilkategorie von Church
(subclass ChristianUnion Church) People.kif 1126-1126 ChristianUnion ist eine teilkategorie von Church
(subclass CrusadersUnion Church) People.kif 1123-1123 CrusadersUnion ist eine teilkategorie von Church
(subclass EcumenicalProject Church) People.kif 1127-1127 EcumenicalProject ist eine teilkategorie von Church
(subclass EvangelicalChurch Church) People.kif 897-897 EvangelicalChurch ist eine teilkategorie von Church
(subclass FreeChurchOfEngland Church) People.kif 844-844 FreeChurchOfEngland ist eine teilkategorie von Church
(subclass FreeChurchOfScotland Church) People.kif 841-841 FreeChurchOfScotland ist eine teilkategorie von Church
(subclass Katolskakyrkan Church) People.kif 1160-1160 Katolskakyrkan ist eine teilkategorie von Church
(subclass LocalChurch Church) People.kif 813-813 LocalChurch ist eine teilkategorie von Church
(subclass LutheranChurch Church) People.kif 1179-1179 LutheranChurch ist eine teilkategorie von Church
(subclass MethodistChurch Church) People.kif 1011-1011 MethodistChurch ist eine teilkategorie von Church
(subclass Missionskyrkan Church) People.kif 1162-1162 Missionskyrkan ist eine teilkategorie von Church
(subclass MissionssaellskapetBibeltrognaVaenner Church) People.kif 1161-1161 MissionssaellskapetBibeltrognaVaenner ist eine teilkategorie von Church
(subclass Ovrigt Church) People.kif 1167-1167 Ovrigt ist eine teilkategorie von Church
(subclass Pingstroerelsen Church) People.kif 1163-1163 Pingstroerelsen ist eine teilkategorie von Church
(subclass PresbyterianChurch Church) People.kif 1170-1170 PresbyterianChurch ist eine teilkategorie von Church
(subclass ScottishEpiscopalChurch Church) People.kif 847-847 ScottishEpiscopalChurch ist eine teilkategorie von Church
(subclass SeventhDayAdventistChurch Church) People.kif 1125-1125 SeventhDayAdventistChurch ist eine teilkategorie von Church
(subclass ShaftesburySociety Church) People.kif 1122-1122 ShaftesburySociety ist eine teilkategorie von Church
(subclass SvenskaAlliansmissionen Church) People.kif 1164-1164 SvenskaAlliansmissionen ist eine teilkategorie von 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