Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
EvangelicalChurch
Church
)
People.kif 897-897
Evangelical church
is a
subclass
of
church
(
subclass
CovenantChurch
EvangelicalChurch
)
People.kif 901-901
Covenant church
is a
subclass
of
Evangelical church
(
subclass
SvenskaAlliansmissionenProtestantFreeChurch
EvangelicalChurch
)
People.kif 905-905
Svenska alliansmissionen protestant free church
is a
subclass
of
Evangelical church
(
subclass
UnionOfEvangelicalChurches
EvangelicalChurch
)
People.kif 910-910
Union of evangelical churches
is a
subclass
of
Evangelical church
(
subclass
ChristianBrethren
EvangelicalChurch
)
People.kif 914-914
Christian brethren
is a
subclass
of
Evangelical church
(
subclass
CountessOfHuntingdonsConnexion
EvangelicalChurch
)
People.kif 918-918
Countess of Huntingdons connexion
is a
subclass
of
Evangelical church
(
subclass
PlymouthBrethrenAssembly
EvangelicalChurch
)
People.kif 923-923
Plymouth brethren assembly
is a
subclass
of
Evangelical church
(
subclass
EvangelicalPresbyterianChurchOfIreland
EvangelicalChurch
)
People.kif 927-927
Evangelical presbyterian church of ireland
is a
subclass
of
Evangelical church
(
subclass
EvangelicalFellowshipOfCongregationalChurches
EvangelicalChurch
)
People.kif 932-932
Evangelical fellowship of congregational churches
is a
subclass
of
Evangelical church
(
subclass
MoravianChurch
EvangelicalChurch
)
People.kif 937-937
Moravian church
is a
subclass
of
Evangelical church
(
subclass
SalvationArmyMission
EvangelicalChurch
)
People.kif 941-941
Salvation army mission
is a
subclass
of
Evangelical church
(
subclass
CityMissions
EvangelicalChurch
)
People.kif 945-945
City missions
is a
subclass
of
Evangelical church
(
subclass
FellowshipOfIndependentEvangelicalChurches
EvangelicalChurch
)
People.kif 949-949
Fellowship of independent evangelical churches
is a
subclass
of
Evangelical church
(
subclass
FreeEvangelicalChurch
EvangelicalChurch
)
People.kif 954-954
Free evangelical church
is a
subclass
of
Evangelical church
(
subclass
CYFA
EvangelicalChurch
)
People.kif 958-958
CYFA
is a
subclass
of
Evangelical church
(
subclass
ScriptureUnion
EvangelicalChurch
)
People.kif 961-961
Scripture union
is a
subclass
of
Evangelical church
(
subclass
WomensAglowGroup
EvangelicalChurch
)
People.kif 965-965
Womens aglow group
is a
subclass
of
Evangelical church
(
subclass
EvangeliskaFosterlandsStiftelsen
EvangelicalChurch
)
People.kif 969-969
Evangeliska fosterlands stiftelsen
is a
subclass
of
Evangelical church
(
subclass
EvangeliskaFrikyrkan
EvangelicalChurch
)
People.kif 974-974
EvangeliskaFrikyrkan
is a
subclass
of
Evangelical church
(
subclass
Fraelsningsarmen
EvangelicalChurch
)
People.kif 978-978
Fraelsningsarmen
is a
subclass
of
Evangelical church
(
subclass
SaltAndLightChurch
EvangelicalChurch
)
People.kif 982-982
Salt and light church
is a
subclass
of
Evangelical church
(
subclass
DenEvangeliskLutherskeFrikirke
EvangelicalChurch
)
People.kif 986-986
Den evangelisk lutherske frikirke
is a
subclass
of
Evangelical church
(
subclass
DeFrieEvangeliskeForsamlinger
EvangelicalChurch
)
People.kif 991-991
De frie evangeliske forsamlinger
is a
subclass
of
Evangelical church
(
subclass
Frelsesarmeen
EvangelicalChurch
)
People.kif 995-995
Frelsesarmeen
is a
subclass
of
Evangelical church
(
subclass
Indremisjonen
EvangelicalChurch
)
People.kif 999-999
Indremisjonen
is a
subclass
of
Evangelical church
(
subclass
Normisjon
EvangelicalChurch
)
People.kif 1003-1003
Normisjon
is a
subclass
of
Evangelical church
(
subclass
NorskLutherskMisjonssamband
EvangelicalChurch
)
People.kif 1007-1007
Norsk Luthersk misjonssamband
is a
subclass
of
Evangelical church
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
