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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LocalChurch
LocalChurch

appearance as argument number 1
-------------------------


(documentation LocalChurch EnglishLanguage "An instance of LocalChurch is a single, localized congregation, which may be affiliated with (a subOrganization of) a non-local or dispersed parent denomination or other Church.") People.kif 814-817
(subclass LocalChurch Church) People.kif 813-813 LocalChurchChurchsubclass では %n

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


(subclass CollegeChapel LocalChurch) People.kif 1142-1142 CollegeChapelLocalChurchsubclass では %n
(subclass CommunityChurch LocalChurch) People.kif 1090-1090 CommunityChurchLocalChurchsubclass では %n
(subclass HospitalChapel LocalChurch) People.kif 1148-1148 HospitalChapelLocalChurchsubclass では %n
(subclass HouseChurch LocalChurch) People.kif 1084-1084 HouseChurchLocalChurchsubclass では %n
(subclass IndependentChurch LocalChurch) People.kif 1169-1169 IndependentChurchLocalChurchsubclass では %n
(subclass LocalChurchOfLatterDaySaints LocalChurch) People.kif 1152-1152 LocalChurchOfLatterDaySaintsLocalChurchsubclass では %n
(subclass LocalRomanCatholicChurch LocalChurch) People.kif 891-891 LocalRomanCatholicChurchLocalChurchsubclass では %n
(subclass MilitaryChapel LocalChurch) People.kif 1138-1138 MilitaryChapelLocalChurchsubclass では %n
(subclass PrisonChapel LocalChurch) People.kif 1168-1168 PrisonChapelLocalChurchsubclass では %n
(termFormat EnglishLanguage LocalChurch "local church") domainEnglishFormat.kif 65125-65125


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