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
RollingStock
e' uma
sub
-classe de
RailVehicle
(
subclass
Railcar
RollingStock
)
Transportation.kif 2074-2074
Railcar
e' uma
sub
-classe de
RollingStock
(
subclass
MotorizedRailwayCar
RollingStock
)
Transportation.kif 2110-2110
MotorizedRailwayCar
e' uma
sub
-classe de
RollingStock
(
subclass
Locomotive
RollingStock
)
Transportation.kif 2115-2115
Locomotive
e' uma
sub
-classe de
RollingStock
(
subclass
PassengerRailcar
RollingStock
)
Transportation.kif 2122-2122
PassengerRailcar
e' uma
sub
-classe de
RollingStock
(
subclass
FreightCar
RollingStock
)
Transportation.kif 2139-2139
FreightCar
e' uma
sub
-classe de
RollingStock
(
subclass
CabCar
RollingStock
)
Transportation.kif 2150-2150
CabCar
e' uma
sub
-classe de
RollingStock
(
subclass
OutfitCar
RollingStock
)
Transportation.kif 2156-2156
OutfitCar
e' uma
sub
-classe de
RollingStock
(
subclass
ElectrifiedRailwayCar
RollingStock
)
Transportation.kif 2165-2165
ElectrifiedRailwayCar
e' uma
sub
-classe de
RollingStock
(
subclass
HeadEndCar
RollingStock
)
Transportation.kif 2185-2185
HeadEndCar
e' uma
sub
-classe de
RollingStock
(
subclass
LocomotiveCoalCar
RollingStock
)
Transportation.kif 2194-2194
LocomotiveCoalCar
e' uma
sub
-classe de
RollingStock
(
subclass
Streetcar
RollingStock
)
Transportation.kif 2208-2208
Streetcar
e' uma
sub
-classe de
RollingStock
(
subclass
PrivateRailcar
RollingStock
)
Transportation.kif 2215-2215
PrivateRailcar
e' uma
sub
-classe de
RollingStock
(
subclass
ScaleTestCar
RollingStock
)
Transportation.kif 2223-2223
ScaleTestCar
e' uma
sub
-classe de
RollingStock
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