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:
(=>
(
instance
?TEAM
SportsTeam
)
(
exists
(?SPORT)
(
and
(
subclass
?SPORT
Sport
)
(
capability
?SPORT
agent
?TEAM))))
Mid-level-ontology.kif 7528-7533
If
an object
is an
instance
of
sports team
,
then there exists
a kind of process
such that
a kind of process
is a
subclass
of
sport
and
the object
is
capable
of doing
the kind of process
as a
agent
(
subclass
Sport
Game
)
Merge.kif 13377-13377
Sport
is a
subclass
of
game
(
subclass
Archery
Sport
)
Sports.kif 89-89
Archery
is a
subclass
of
sport
(
subclass
Badminton
Sport
)
Sports.kif 91-91
Badminton
is a
subclass
of
sport
(
subclass
Curling
Sport
)
Sports.kif 95-95
Curling
is a
subclass
of
sport
(
subclass
CycleRacing
Sport
)
Sports.kif 97-97
Cycle racing
is a
subclass
of
sport
(
subclass
Diving
Sport
)
Sports.kif 103-103
Diving
is a
subclass
of
sport
(
subclass
IceSkating
Sport
)
Sports.kif 112-112
Ice skating
is a
subclass
of
sport
(
subclass
Fencing
Sport
)
Sports.kif 114-114
Fencing
is a
subclass
of
sport
(
subclass
FigureSkating
Sport
)
Sports.kif 116-116
Figure skating
is a
subclass
of
sport
(
subclass
Lacrosse
Sport
)
Sports.kif 126-126
Lacrosse
is a
subclass
of
sport
(
subclass
MartialArts
Sport
)
Sports.kif 133-133
Martial arts
is a
subclass
of
sport
(
subclass
SwimmingSport
Sport
)
Sports.kif 184-184
Swimming sport
is a
subclass
of
sport
(
subclass
SquashSport
Sport
)
Sports.kif 186-186
Squash sport
is a
subclass
of
sport
(
subclass
ShootingSport
Sport
)
Sports.kif 188-188
Shooting sport
is a
subclass
of
sport
(
subclass
SailingSport
Sport
)
Sports.kif 198-198
Sailing sport
is a
subclass
of
sport
(
subclass
Surfing
Sport
)
Sports.kif 207-207
Surfing
is a
subclass
of
sport
(
subclass
KiteSurfing
Sport
)
Sports.kif 221-221
Kite surfing
is a
subclass
of
sport
(
subclass
Caving
Sport
)
Sports.kif 226-226
Caving
is a
subclass
of
sport
(
subclass
Skateboarding
Sport
)
Sports.kif 229-229
Skateboarding
is a
subclass
of
sport
(
subclass
Rafting
Sport
)
Sports.kif 232-232
Rafting
is a
subclass
of
sport
(
subclass
FishingSport
Sport
)
Sports.kif 236-236
Fishing sport
is a
subclass
of
sport
(
subclass
TableTennis
Sport
)
Sports.kif 239-239
Table tennis
is a
subclass
of
sport
(
subclass
Wrestling
Sport
)
Sports.kif 243-243
Wrestling
is a
subclass
of
sport
(
subclass
HorseRacing
Sport
)
Sports.kif 245-245
Horse racing
is a
subclass
of
sport
(
subclass
RockClimbing
Sport
)
Sports.kif 496-496
Rock climbing
is a
subclass
of
sport
(
subclass
Boxing
Sport
)
Sports.kif 585-585
Boxing
is a
subclass
of
sport
(
subclass
Gymnastics
Sport
)
Sports.kif 600-600
Gymnastics
is a
subclass
of
sport
(
subclass
Bodybuilding
Sport
)
Sports.kif 772-772
Bodybuilding
is a
subclass
of
sport
(
subclass
Tennis
Sport
)
Sports.kif 852-852
Tennis
is a
subclass
of
sport
(
subclass
Golf
Sport
)
Sports.kif 889-889
Golf
is a
subclass
of
sport
(
subclass
Skiing
Sport
)
Sports.kif 1061-1061
Skiing
is a
subclass
of
sport
(
subclass
Bowling
Sport
)
Sports.kif 1102-1102
Bowling
is a
subclass
of
sport
(
subclass
Equitation
Sport
)
Sports.kif 1181-1181
Equitation
is a
subclass
of
sport
(
subclass
WaterSport
Sport
)
Sports.kif 1206-1206
Water sport
is a
subclass
of
sport
(
subclass
Racquetball
Sport
)
Sports.kif 1317-1317
Racquetball
is a
subclass
of
sport
(
subclass
OlympicGames
Sport
)
Sports.kif 1336-1336
Olympic games
is a
subclass
of
sport
(
subclass
TeamSport
Sport
)
Mid-level-ontology.kif 7535-7535
Team sport
is a
subclass
of
sport
(
subclass
Racing
Sport
)
Mid-level-ontology.kif 7549-7549
Racing
is a
subclass
of
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