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
TeamSport
Sport
)
Mid-level-ontology.kif 7535-7535
Team sport
is a
subclass
of
sport
(
subclass
Cricket
TeamSport
)
Sports.kif 93-93
Cricket
is a
subclass
of
team sport
(
subclass
Hockey
TeamSport
)
Sports.kif 118-118
Hockey
is a
subclass
of
team sport
(
subclass
IceHockey
TeamSport
)
Sports.kif 120-120
Ice hockey
is a
subclass
of
team sport
(
subclass
Handball
TeamSport
)
Sports.kif 122-122
Handball
is a
subclass
of
team sport
(
subclass
Rugby
TeamSport
)
Sports.kif 124-124
Rugby
is a
subclass
of
team sport
(
subclass
Dodgeball
TeamSport
)
Sports.kif 128-128
Dodgeball
is a
subclass
of
team sport
(
subclass
Netball
TeamSport
)
Sports.kif 153-153
Netball
is a
subclass
of
team sport
(
subclass
Soccer
TeamSport
)
Sports.kif 156-156
Soccer
is a
subclass
of
team sport
(
subclass
Volleyball
TeamSport
)
Sports.kif 241-241
Volleyball
is a
subclass
of
team sport
(
subclass
Baseball
TeamSport
)
Sports.kif 604-604
Baseball
is a
subclass
of
team sport
(
subclass
Basketball
TeamSport
)
Sports.kif 768-768
Basketball
is a
subclass
of
team sport
(
subclass
FootballUS
TeamSport
)
Sports.kif 807-807
Foot ball US
is a
subclass
of
team sport
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
