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
SportsFacility
StationaryArtifact
)
Mid-level-ontology.kif 7005-7005
SportsFacility
ist eine
teilkategorie
von
StationaryArtifact
(
subclass
IceSkatingRink
SportsFacility
)
Sports.kif 580-580
IceSkatingRink
ist eine
teilkategorie
von
SportsFacility
(
subclass
BoxingRing
SportsFacility
)
Sports.kif 590-590
BoxingRing
ist eine
teilkategorie
von
SportsFacility
(
subclass
BaseballField
SportsFacility
)
Sports.kif 673-673
BaseballField
ist eine
teilkategorie
von
SportsFacility
(
subclass
TennisCourt
SportsFacility
)
Sports.kif 875-875
TennisCourt
ist eine
teilkategorie
von
SportsFacility
(
subclass
GolfFacility
SportsFacility
)
Sports.kif 903-903
GolfFacility
ist eine
teilkategorie
von
SportsFacility
(
subclass
GolfCourse
SportsFacility
)
Sports.kif 918-918
GolfCourse
ist eine
teilkategorie
von
SportsFacility
(
subclass
SkiingFacility
SportsFacility
)
Sports.kif 1089-1089
SkiingFacility
ist eine
teilkategorie
von
SportsFacility
(
subclass
BowlingFacility
SportsFacility
)
Sports.kif 1157-1157
BowlingFacility
ist eine
teilkategorie
von
SportsFacility
(
subclass
RacquetballCourt
SportsFacility
)
Sports.kif 1323-1323
RacquetballCourt
ist eine
teilkategorie
von
SportsFacility
(
subclass
ExerciseCenter
SportsFacility
)
Mid-level-ontology.kif 26751-26751
ExerciseCenter
ist eine
teilkategorie
von
SportsFacility
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