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
Ship
DisplacementHullWaterVehicle
)
Transportation.kif 2303-2303
Ship
ist eine
teilkategorie
von
DisplacementHullWaterVehicle
(
subclass
MerchantMarineShip
Ship
)
Transportation.kif 1019-1019
MerchantMarineShip
ist eine
teilkategorie
von
Ship
(
subclass
PassengerShip
Ship
)
Transportation.kif 2309-2309
PassengerShip
ist eine
teilkategorie
von
Ship
(
subclass
OffshoreSupplyShip
Ship
)
Transportation.kif 2443-2443
OffshoreSupplyShip
ist eine
teilkategorie
von
Ship
(
subclass
OffshoreSupportShip
Ship
)
Transportation.kif 2444-2444
OffshoreSupportShip
ist eine
teilkategorie
von
Ship
(
subclass
OffshoreWellProductionShip
Ship
)
Transportation.kif 2445-2445
OffshoreWellProductionShip
ist eine
teilkategorie
von
Ship
(
subclass
DrillingShip
Ship
)
Transportation.kif 2446-2446
DrillingShip
ist eine
teilkategorie
von
Ship
(
subclass
ResearchShip
Ship
)
Transportation.kif 2447-2447
ResearchShip
ist eine
teilkategorie
von
Ship
(
subclass
Dredger
Ship
)
Transportation.kif 2449-2449
Dredger
ist eine
teilkategorie
von
Ship
(
subclass
MotorHopper
Ship
)
Transportation.kif 2451-2451
MotorHopper
ist eine
teilkategorie
von
Ship
(
subclass
SludgeDisposalVessel
Ship
)
Transportation.kif 2452-2452
SludgeDisposalVessel
ist eine
teilkategorie
von
Ship
(
subclass
CraneShip
Ship
)
Transportation.kif 2453-2453
CraneShip
ist eine
teilkategorie
von
Ship
(
subclass
CableShip
Ship
)
Transportation.kif 2454-2454
CableShip
ist eine
teilkategorie
von
Ship
(
subclass
IceBreakerShip
Ship
)
Transportation.kif 2455-2455
IceBreakerShip
ist eine
teilkategorie
von
Ship
(
subclass
MilitaryShip
Ship
)
Military.kif 187-187
MilitaryShip
ist eine
teilkategorie
von
Ship
(
subclass
CargoShip
Ship
)
Mid-level-ontology.kif 30050-30050
CargoShip
ist eine
teilkategorie
von
Ship
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