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

Formal Language: 



KB Term:  Term intersection
English Word: 

  length

 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 and ReligiousOrganization

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


(instance ChurchOfJesusChristOfLatterDaySaints Church) People.kif 1154-1154 例 ChurchOfJesusChristOfLatterDaySaints and Church
(subclass Adventistsamfundet Church) People.kif 1159-1159 子類 Adventistsamfundet and Church
(subclass AnglicanApostolicEpiscopalFreeChurch Church) People.kif 838-838 子類 AnglicanApostolicEpiscopalFreeChurch and Church
(subclass AnglicanChurch Church) People.kif 829-829 子類 AnglicanChurch and Church
(subclass BaptistChurch Church) People.kif 851-851 子類 BaptistChurch and Church
(subclass CharismaticChurch Church) People.kif 1043-1043 子類 CharismaticChurch and Church
(subclass ChristianUnion Church) People.kif 1126-1126 子類 ChristianUnion and Church
(subclass CrusadersUnion Church) People.kif 1123-1123 子類 CrusadersUnion and Church
(subclass EcumenicalProject Church) People.kif 1127-1127 子類 EcumenicalProject and Church
(subclass EvangelicalChurch Church) People.kif 897-897 子類 EvangelicalChurch and Church
(subclass FreeChurchOfEngland Church) People.kif 844-844 子類 FreeChurchOfEngland and Church
(subclass FreeChurchOfScotland Church) People.kif 841-841 子類 FreeChurchOfScotland and Church
(subclass Katolskakyrkan Church) People.kif 1160-1160 子類 Katolskakyrkan and Church
(subclass LocalChurch Church) People.kif 813-813 子類 LocalChurch and Church
(subclass LutheranChurch Church) People.kif 1179-1179 子類 LutheranChurch and Church
(subclass MethodistChurch Church) People.kif 1011-1011 子類 MethodistChurch and Church
(subclass Missionskyrkan Church) People.kif 1162-1162 子類 Missionskyrkan and Church
(subclass MissionssaellskapetBibeltrognaVaenner Church) People.kif 1161-1161 子類 MissionssaellskapetBibeltrognaVaenner and Church
(subclass Ovrigt Church) People.kif 1167-1167 子類 Ovrigt and Church
(subclass Pingstroerelsen Church) People.kif 1163-1163 子類 Pingstroerelsen and Church
(subclass PresbyterianChurch Church) People.kif 1170-1170 子類 PresbyterianChurch and Church
(subclass ScottishEpiscopalChurch Church) People.kif 847-847 子類 ScottishEpiscopalChurch and Church
(subclass SeventhDayAdventistChurch Church) People.kif 1125-1125 子類 SeventhDayAdventistChurch and Church
(subclass ShaftesburySociety Church) People.kif 1122-1122 子類 ShaftesburySociety and Church
(subclass SvenskaAlliansmissionen Church) People.kif 1164-1164 子類 SvenskaAlliansmissionen and 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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