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
LandTransitway
Transitway
)
Merge.kif 14284-14284
LandTransitway
ist eine
teilkategorie
von
Transitway
(
subclass
LandTransitway
LandArea
)
Merge.kif 14285-14285
LandTransitway
ist eine
teilkategorie
von
LandArea
(
subclass
Railway
LandTransitway
)
Transportation.kif 345-345
Railway
ist eine
teilkategorie
von
LandTransitway
(
subclass
Airport
LandTransitway
)
Transportation.kif 1267-1267
Airport
ist eine
teilkategorie
von
LandTransitway
(
subclass
Runway
LandTransitway
)
Transportation.kif 1298-1298
Runway
ist eine
teilkategorie
von
LandTransitway
(
subclass
Bridge
LandTransitway
)
Transportation.kif 1618-1618
Bridge
ist eine
teilkategorie
von
LandTransitway
(
subclass
Tunnel
LandTransitway
)
Transportation.kif 1630-1630
Tunnel
ist eine
teilkategorie
von
LandTransitway
(
subclass
Trail
LandTransitway
)
Transportation.kif 1647-1647
Trail
ist eine
teilkategorie
von
LandTransitway
(
subclass
BowlingLane
LandTransitway
)
Sports.kif 1141-1141
BowlingLane
ist eine
teilkategorie
von
LandTransitway
(
subclass
RunningTrack
LandTransitway
)
Mid-level-ontology.kif 25801-25801
RunningTrack
ist eine
teilkategorie
von
LandTransitway
(
subclass
Roadway
LandTransitway
)
Merge.kif 14299-14299
Roadway
ist eine
teilkategorie
von
LandTransitway
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