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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LocalChurch

 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 LocalChurch 是 Church 的 subclass

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


(subclass CollegeChapel LocalChurch) People.kif 1142-1142 CollegeChapel 是 LocalChurch 的 subclass
(subclass CommunityChurch LocalChurch) People.kif 1090-1090 CommunityChurch 是 LocalChurch 的 subclass
(subclass HospitalChapel LocalChurch) People.kif 1148-1148 HospitalChapel 是 LocalChurch 的 subclass
(subclass HouseChurch LocalChurch) People.kif 1084-1084 HouseChurch 是 LocalChurch 的 subclass
(subclass IndependentChurch LocalChurch) People.kif 1169-1169 IndependentChurch 是 LocalChurch 的 subclass
(subclass LocalChurchOfLatterDaySaints LocalChurch) People.kif 1152-1152 LocalChurchOfLatterDaySaints 是 LocalChurch 的 subclass
(subclass LocalRomanCatholicChurch LocalChurch) People.kif 891-891 LocalRomanCatholicChurch 是 LocalChurch 的 subclass
(subclass MilitaryChapel LocalChurch) People.kif 1138-1138 MilitaryChapel 是 LocalChurch 的 subclass
(subclass PrisonChapel LocalChurch) People.kif 1168-1168 PrisonChapel 是 LocalChurch 的 subclass
(termFormat EnglishLanguage LocalChurch "local church") domainEnglishFormat.kif 65125-65125


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