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
CharismaticChurch
Church
)
People.kif 1043-1043
(
subclass
AssembliesOfGod
CharismaticChurch
)
People.kif 1047-1047
(
subclass
VineyardChurch
CharismaticChurch
)
People.kif 1051-1051
(
subclass
ChurchOfTheNazarene
CharismaticChurch
)
People.kif 1055-1055
(
subclass
NewTestamentChurchOfGod
CharismaticChurch
)
People.kif 1059-1059
(
subclass
ChurchOfGodOfProphecy
CharismaticChurch
)
People.kif 1063-1063
(
subclass
FellowshipOfChurchesOfChrist
CharismaticChurch
)
People.kif 1067-1067
(
subclass
NewApostolicChurch
CharismaticChurch
)
People.kif 1071-1071
(
subclass
JesusFellowship
CharismaticChurch
)
People.kif 1075-1075
(
subclass
NewFrontiersInternationalChurch
CharismaticChurch
)
People.kif 1079-1079
(
subclass
HouseChurch
CharismaticChurch
)
People.kif 1085-1085
(
subclass
CommunityChurch
CharismaticChurch
)
People.kif 1091-1091
(
subclass
PentecostalChurch
CharismaticChurch
)
People.kif 1095-1095
(
subclass
ApostolicChurch
CharismaticChurch
)
People.kif 1099-1099
(
subclass
ElimPentecostalChurch
CharismaticChurch
)
People.kif 1104-1104
(
subclass
FGBMFI
CharismaticChurch
)
People.kif 1108-1108
(
subclass
RedeemedChristianChurchOfGod
CharismaticChurch
)
People.kif 1112-1112
(
subclass
ApostoliskChurch
CharismaticChurch
)
People.kif 1116-1116
(
subclass
Pinsebevegelsen
CharismaticChurch
)
People.kif 1120-1120
(
subclass
Pinsemenighet
CharismaticChurch
)
People.kif 1121-1121
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
