Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
PresbyterianChurch
Sigma KEE - PresbyterianChurch
PresbyterianChurch
appearance as argument number 1
(
subclass
PresbyterianChurch
Church
)
People.kif 1170-1170
appearance as argument number 2
(
subclass
AssociatedPresbyterianChurch
PresbyterianChurch
)
People.kif 1177-1177
(
subclass
CongregationalFederation
PresbyterianChurch
)
People.kif 1178-1178
(
subclass
CongregationalUnionOfIreland
PresbyterianChurch
)
People.kif 1181-1181
(
subclass
CongregationalUnionOfScotland
PresbyterianChurch
)
People.kif 1182-1182
(
subclass
DutchReformedChurch
PresbyterianChurch
)
People.kif 1183-1183
(
subclass
FreePresbyterianChurchOfScotland
PresbyterianChurch
)
People.kif 1174-1174
(
subclass
PresbyterianChurchOfIreland
PresbyterianChurch
)
People.kif 1173-1173
(
subclass
PresbyterianChurchOfScotland
PresbyterianChurch
)
People.kif 1171-1171
(
subclass
PresbyterianChurchOfWales
PresbyterianChurch
)
People.kif 1172-1172
(
subclass
ReformedPrebyterianChurchOfScotland
PresbyterianChurch
)
People.kif 1175-1175
(
subclass
UnitedFreeChurchOfScotland
PresbyterianChurch
)
People.kif 1176-1176
(
subclass
UnitedReformedChurch
PresbyterianChurch
)
People.kif 1180-1180
(
termFormat
EnglishLanguage
PresbyterianChurch
"Presbyterian church")
domainEnglishFormat.kif 65352-65352
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