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
GroupOfPeople
Group
)
Merge.kif 16256-16256
Group of people
is a
subclass
of
group
(
subclass
SportsTeam
GroupOfPeople
)
Mid-level-ontology.kif 7523-7523
Sports team
is a
subclass
of
group of people
(
subclass
DramaticCast
GroupOfPeople
)
Mid-level-ontology.kif 15962-15962
Dramatic cast
is a
subclass
of
group of people
(
subclass
Jury
GroupOfPeople
)
Mid-level-ontology.kif 16083-16083
Jury
is a
subclass
of
group of people
(
subclass
CriminalGang
GroupOfPeople
)
Mid-level-ontology.kif 16095-16095
Criminal gang
is a
subclass
of
group of people
(
subclass
MusicalGroup
GroupOfPeople
)
Mid-level-ontology.kif 18526-18526
Musical group
is a
subclass
of
group of people
(
subclass
Public
GroupOfPeople
)
Mid-level-ontology.kif 26064-26064
Public
is a
subclass
of
group of people
(
subclass
NationalPerson
GroupOfPeople
)
Mid-level-ontology.kif 30615-30615
National person
is a
subclass
of
group of people
(
subclass
AgeGroup
GroupOfPeople
)
Merge.kif 16266-16266
Age group
is a
subclass
of
group of people
(
subclass
FamilyGroup
GroupOfPeople
)
Merge.kif 16281-16281
Family group
is a
subclass
of
group of people
(
subclass
SocialUnit
GroupOfPeople
)
Merge.kif 16294-16294
Social unit
is a
subclass
of
group of people
(
subclass
EthnicGroup
GroupOfPeople
)
Merge.kif 16609-16609
Ethnic group
is a
subclass
of
group of people
(
subclass
BeliefGroup
GroupOfPeople
)
Merge.kif 16614-16614
Belief group
is a
subclass
of
group of people
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
