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:
(=>
(
and
(
instance
?WATER
River
)
(
trafficableForTrafficType
?WATER ?TYPE)
(
subclass
?TYPE
WaterVehicle
))
(
instance
?WATER
Waterway
))
Transportation.kif 1683-1688
Wenn
Object
ist ein
fall
von
River
%n{nicht} und
trafficableForTrafficType
** Object
and
** SelfConnectedObject
und
** SelfConnectedObject
ist eine
teilkategorie
von
WaterVehicle
,
dann
** Object
ist ein
fall
von
Waterway
%n{nicht}
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
Wenn
** TransportationDevice
ist eine
teilkategorie
von
WaterVehicle
und
Process
ist ein
fall
von
TransportationFn
** TransportationDevice
%n{nicht} und
eventLocated
** Process
and
Object
,
dann
** Object
ist ein
fall
von
WaterArea
%n{nicht}
(
subclass
WaterVehicle
Vehicle
)
Mid-level-ontology.kif 3483-3483
WaterVehicle
ist eine
teilkategorie
von
Vehicle
(
subclass
MultihullWaterVehicle
WaterVehicle
)
Transportation.kif 2294-2294
MultihullWaterVehicle
ist eine
teilkategorie
von
WaterVehicle
(
subclass
DisplacementHullWaterVehicle
WaterVehicle
)
Transportation.kif 2297-2297
DisplacementHullWaterVehicle
ist eine
teilkategorie
von
WaterVehicle
(
subclass
FishingShip
WaterVehicle
)
Transportation.kif 2436-2436
FishingShip
ist eine
teilkategorie
von
WaterVehicle
(
subclass
PlaningHullWaterVehicle
WaterVehicle
)
Transportation.kif 2461-2461
PlaningHullWaterVehicle
ist eine
teilkategorie
von
WaterVehicle
(
subclass
Barge
WaterVehicle
)
Transportation.kif 2489-2489
Barge
ist eine
teilkategorie
von
WaterVehicle
(
subclass
TugBoat
WaterVehicle
)
Transportation.kif 2492-2492
TugBoat
ist eine
teilkategorie
von
WaterVehicle
(
subclass
FireBoat
WaterVehicle
)
Transportation.kif 2493-2493
FireBoat
ist eine
teilkategorie
von
WaterVehicle
(
subclass
FerryBoat
WaterVehicle
)
Transportation.kif 2494-2494
FerryBoat
ist eine
teilkategorie
von
WaterVehicle
(
subclass
Runabout
WaterVehicle
)
Transportation.kif 2497-2497
Runabout
ist eine
teilkategorie
von
WaterVehicle
(
subclass
Sailboat
WaterVehicle
)
Transportation.kif 2498-2498
Sailboat
ist eine
teilkategorie
von
WaterVehicle
(
subclass
Canoe
WaterVehicle
)
Transportation.kif 2499-2499
Canoe
ist eine
teilkategorie
von
WaterVehicle
(
subclass
Kayak
WaterVehicle
)
Sports.kif 201-201
Kayak
ist eine
teilkategorie
von
WaterVehicle
(
subclass
PersonalWatercraft
WaterVehicle
)
Transportation.kif 2505-2505
PersonalWatercraft
ist eine
teilkategorie
von
WaterVehicle
(
subclass
Keelboat
WaterVehicle
)
Sports.kif 204-204
Keelboat
ist eine
teilkategorie
von
WaterVehicle
(
subclass
MilitaryWaterVehicle
WaterVehicle
)
Military.kif 151-151
MilitaryWaterVehicle
ist eine
teilkategorie
von
WaterVehicle
(
subclass
AmphibiousVehicle
WaterVehicle
)
MilitaryDevices.kif 2020-2020
AmphibiousVehicle
ist eine
teilkategorie
von
WaterVehicle
(
subclass
Submarine
WaterVehicle
)
Mid-level-ontology.kif 17658-17658
Submarine
ist eine
teilkategorie
von
WaterVehicle
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
