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
Railway
LandTransitway
)
Transportation.kif 345-345
Railway
est une
sous
-classe de
LandTransitway
(
subclass
Railway
StationaryArtifact
)
Transportation.kif 346-346
Railway
est une
sous
-classe de
artefact stationnaire
(
subclass
BroadGaugeRailway
Railway
)
Transportation.kif 353-353
BroadGaugeRailway
est une
sous
-classe de
Railway
(
subclass
DualGaugeRailway
Railway
)
Transportation.kif 354-354
DualGaugeRailway
est une
sous
-classe de
Railway
(
subclass
NarrowGaugeRailway
Railway
)
Transportation.kif 355-355
NarrowGaugeRailway
est une
sous
-classe de
Railway
(
subclass
StandardGaugeRailway
Railway
)
Transportation.kif 356-356
StandardGaugeRailway
est une
sous
-classe de
Railway
(
subclass
ElectrifiedRailway
Railway
)
Transportation.kif 358-358
ElectrifiedRailway
est une
sous
-classe de
Railway
(
subclass
MultipleTrackRailway
Railway
)
Transportation.kif 362-362
MultipleTrackRailway
est une
sous
-classe de
Railway
(
subclass
RailJunction
Railway
)
Transportation.kif 2977-2977
RailJunction
est une
sous
-classe de
Railway
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