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
如果
客体
是
运动队
的
instance
,
然后 有存在
有点 过程
这样
有点 过程
是
运动
的
subclass
和
那个 客体
能够担当
主事
的角色做
那个 有点 过程
(
subclass
Sport
Game
)
Merge.kif 13377-13377
运动
是
游戏
的
subclass
(
subclass
Archery
Sport
)
Sports.kif 89-89
Archery
是
运动
的
subclass
(
subclass
Badminton
Sport
)
Sports.kif 91-91
Badminton
是
运动
的
subclass
(
subclass
Curling
Sport
)
Sports.kif 95-95
Curling
是
运动
的
subclass
(
subclass
CycleRacing
Sport
)
Sports.kif 97-97
CycleRacing
是
运动
的
subclass
(
subclass
Diving
Sport
)
Sports.kif 103-103
Diving
是
运动
的
subclass
(
subclass
IceSkating
Sport
)
Sports.kif 112-112
IceSkating
是
运动
的
subclass
(
subclass
Fencing
Sport
)
Sports.kif 114-114
Fencing
是
运动
的
subclass
(
subclass
FigureSkating
Sport
)
Sports.kif 116-116
FigureSkating
是
运动
的
subclass
(
subclass
Lacrosse
Sport
)
Sports.kif 126-126
Lacrosse
是
运动
的
subclass
(
subclass
MartialArts
Sport
)
Sports.kif 133-133
MartialArts
是
运动
的
subclass
(
subclass
SwimmingSport
Sport
)
Sports.kif 184-184
SwimmingSport
是
运动
的
subclass
(
subclass
SquashSport
Sport
)
Sports.kif 186-186
SquashSport
是
运动
的
subclass
(
subclass
ShootingSport
Sport
)
Sports.kif 188-188
ShootingSport
是
运动
的
subclass
(
subclass
SailingSport
Sport
)
Sports.kif 198-198
SailingSport
是
运动
的
subclass
(
subclass
Surfing
Sport
)
Sports.kif 207-207
Surfing
是
运动
的
subclass
(
subclass
KiteSurfing
Sport
)
Sports.kif 221-221
KiteSurfing
是
运动
的
subclass
(
subclass
Caving
Sport
)
Sports.kif 226-226
Caving
是
运动
的
subclass
(
subclass
Skateboarding
Sport
)
Sports.kif 229-229
Skateboarding
是
运动
的
subclass
(
subclass
Rafting
Sport
)
Sports.kif 232-232
Rafting
是
运动
的
subclass
(
subclass
FishingSport
Sport
)
Sports.kif 236-236
FishingSport
是
运动
的
subclass
(
subclass
TableTennis
Sport
)
Sports.kif 239-239
TableTennis
是
运动
的
subclass
(
subclass
Wrestling
Sport
)
Sports.kif 243-243
Wrestling
是
运动
的
subclass
(
subclass
HorseRacing
Sport
)
Sports.kif 245-245
HorseRacing
是
运动
的
subclass
(
subclass
RockClimbing
Sport
)
Sports.kif 496-496
RockClimbing
是
运动
的
subclass
(
subclass
Boxing
Sport
)
Sports.kif 585-585
拳击
是
运动
的
subclass
(
subclass
Gymnastics
Sport
)
Sports.kif 600-600
体操
是
运动
的
subclass
(
subclass
Bodybuilding
Sport
)
Sports.kif 772-772
健美运动
是
运动
的
subclass
(
subclass
Tennis
Sport
)
Sports.kif 852-852
Tennis
是
运动
的
subclass
(
subclass
Golf
Sport
)
Sports.kif 889-889
高尔夫球
是
运动
的
subclass
(
subclass
Skiing
Sport
)
Sports.kif 1061-1061
Skiing
是
运动
的
subclass
(
subclass
Bowling
Sport
)
Sports.kif 1102-1102
Bowling
是
运动
的
subclass
(
subclass
Equitation
Sport
)
Sports.kif 1181-1181
Equitation
是
运动
的
subclass
(
subclass
WaterSport
Sport
)
Sports.kif 1206-1206
WaterSport
是
运动
的
subclass
(
subclass
Racquetball
Sport
)
Sports.kif 1317-1317
Racquetball
是
运动
的
subclass
(
subclass
OlympicGames
Sport
)
Sports.kif 1336-1336
奥运会
是
运动
的
subclass
(
subclass
TeamSport
Sport
)
Mid-level-ontology.kif 7535-7535
团队运动
是
运动
的
subclass
(
subclass
Racing
Sport
)
Mid-level-ontology.kif 7549-7549
赛跑
是
运动
的
subclass
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