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
RollingStock
RailVehicle
)
Transportation.kif 2095-2095
Rolling stock
is a
subclass
of
rail vehicle
(
subclass
Railcar
RollingStock
)
Transportation.kif 2074-2074
Railcar
is a
subclass
of
rolling stock
(
subclass
MotorizedRailwayCar
RollingStock
)
Transportation.kif 2110-2110
Motorized railway car
is a
subclass
of
rolling stock
(
subclass
Locomotive
RollingStock
)
Transportation.kif 2115-2115
Locomotive
is a
subclass
of
rolling stock
(
subclass
PassengerRailcar
RollingStock
)
Transportation.kif 2122-2122
Passenger railcar
is a
subclass
of
rolling stock
(
subclass
FreightCar
RollingStock
)
Transportation.kif 2139-2139
Freight car
is a
subclass
of
rolling stock
(
subclass
CabCar
RollingStock
)
Transportation.kif 2150-2150
Cab car
is a
subclass
of
rolling stock
(
subclass
OutfitCar
RollingStock
)
Transportation.kif 2156-2156
Outfit car
is a
subclass
of
rolling stock
(
subclass
ElectrifiedRailwayCar
RollingStock
)
Transportation.kif 2165-2165
Electrified railway car
is a
subclass
of
rolling stock
(
subclass
HeadEndCar
RollingStock
)
Transportation.kif 2185-2185
Head end car
is a
subclass
of
rolling stock
(
subclass
LocomotiveCoalCar
RollingStock
)
Transportation.kif 2194-2194
Locomotive coal car
is a
subclass
of
rolling stock
(
subclass
Streetcar
RollingStock
)
Transportation.kif 2208-2208
Streetcar
is a
subclass
of
rolling stock
(
subclass
PrivateRailcar
RollingStock
)
Transportation.kif 2215-2215
Private railcar
is a
subclass
of
rolling stock
(
subclass
ScaleTestCar
RollingStock
)
Transportation.kif 2223-2223
Scale test car
is a
subclass
of
rolling stock
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
