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 7527-7532
Oggetto
è un'
istanza
di
SportsTeam
Processo
Processo
è una
sottoclasse
di
Sport
Oggetto
è
capace
di fare
Processo
nel ruolo
agent
(
subclass
Sport
Game
)
Merge.kif 13399-13399
Sport
è una
sottoclasse
di
Gioco
(
subclass
Archery
Sport
)
Sports.kif 89-89
Archery
è una
sottoclasse
di
Sport
(
subclass
Badminton
Sport
)
Sports.kif 91-91
Badminton
è una
sottoclasse
di
Sport
(
subclass
Curling
Sport
)
Sports.kif 95-95
Curling
è una
sottoclasse
di
Sport
(
subclass
CycleRacing
Sport
)
Sports.kif 97-97
CycleRacing
è una
sottoclasse
di
Sport
(
subclass
Diving
Sport
)
Sports.kif 103-103
Diving
è una
sottoclasse
di
Sport
(
subclass
IceSkating
Sport
)
Sports.kif 112-112
IceSkating
è una
sottoclasse
di
Sport
(
subclass
Fencing
Sport
)
Sports.kif 114-114
Fencing
è una
sottoclasse
di
Sport
(
subclass
FigureSkating
Sport
)
Sports.kif 116-116
FigureSkating
è una
sottoclasse
di
Sport
(
subclass
Lacrosse
Sport
)
Sports.kif 126-126
Lacrosse
è una
sottoclasse
di
Sport
(
subclass
MartialArts
Sport
)
Sports.kif 133-133
MartialArts
è una
sottoclasse
di
Sport
(
subclass
SwimmingSport
Sport
)
Sports.kif 184-184
SwimmingSport
è una
sottoclasse
di
Sport
(
subclass
SquashSport
Sport
)
Sports.kif 186-186
SquashSport
è una
sottoclasse
di
Sport
(
subclass
ShootingSport
Sport
)
Sports.kif 188-188
ShootingSport
è una
sottoclasse
di
Sport
(
subclass
SailingSport
Sport
)
Sports.kif 198-198
SailingSport
è una
sottoclasse
di
Sport
(
subclass
Surfing
Sport
)
Sports.kif 207-207
Surfing
è una
sottoclasse
di
Sport
(
subclass
KiteSurfing
Sport
)
Sports.kif 221-221
KiteSurfing
è una
sottoclasse
di
Sport
(
subclass
Caving
Sport
)
Sports.kif 226-226
Caving
è una
sottoclasse
di
Sport
(
subclass
Skateboarding
Sport
)
Sports.kif 229-229
Skateboarding
è una
sottoclasse
di
Sport
(
subclass
Rafting
Sport
)
Sports.kif 232-232
Rafting
è una
sottoclasse
di
Sport
(
subclass
FishingSport
Sport
)
Sports.kif 236-236
FishingSport
è una
sottoclasse
di
Sport
(
subclass
TableTennis
Sport
)
Sports.kif 239-239
TableTennis
è una
sottoclasse
di
Sport
(
subclass
Wrestling
Sport
)
Sports.kif 243-243
Wrestling
è una
sottoclasse
di
Sport
(
subclass
HorseRacing
Sport
)
Sports.kif 245-245
HorseRacing
è una
sottoclasse
di
Sport
(
subclass
RockClimbing
Sport
)
Sports.kif 496-496
RockClimbing
è una
sottoclasse
di
Sport
(
subclass
Boxing
Sport
)
Sports.kif 585-585
Boxing
è una
sottoclasse
di
Sport
(
subclass
Gymnastics
Sport
)
Sports.kif 600-600
Gymnastics
è una
sottoclasse
di
Sport
(
subclass
Bodybuilding
Sport
)
Sports.kif 772-772
Bodybuilding
è una
sottoclasse
di
Sport
(
subclass
Tennis
Sport
)
Sports.kif 852-852
Tennis
è una
sottoclasse
di
Sport
(
subclass
Golf
Sport
)
Sports.kif 889-889
Golf
è una
sottoclasse
di
Sport
(
subclass
Skiing
Sport
)
Sports.kif 1062-1062
Skiing
è una
sottoclasse
di
Sport
(
subclass
Bowling
Sport
)
Sports.kif 1103-1103
Bowling
è una
sottoclasse
di
Sport
(
subclass
Equitation
Sport
)
Sports.kif 1182-1182
Equitation
è una
sottoclasse
di
Sport
(
subclass
WaterSport
Sport
)
Sports.kif 1207-1207
WaterSport
è una
sottoclasse
di
Sport
(
subclass
Racquetball
Sport
)
Sports.kif 1318-1318
Racquetball
è una
sottoclasse
di
Sport
(
subclass
OlympicGames
Sport
)
Sports.kif 1337-1337
OlympicGames
è una
sottoclasse
di
Sport
(
subclass
TeamSport
Sport
)
Mid-level-ontology.kif 7534-7534
TeamSport
è una
sottoclasse
di
Sport
(
subclass
Racing
Sport
)
Mid-level-ontology.kif 7548-7548
Racing
è una
sottoclasse
di
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