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
Vehicle
TransportationDevice
)
Merge.kif 15974-15974
Vehicle
is a
subclass
of
transportation device
(
subclass
PassengerVehicle
Vehicle
)
Transportation.kif 1742-1742
Passenger vehicle
is a
subclass
of
vehicle
(
subclass
CargoVehicle
Vehicle
)
Transportation.kif 1760-1760
Cargo vehicle
is a
subclass
of
vehicle
(
subclass
UnpoweredVehicle
Vehicle
)
Transportation.kif 1783-1783
Unpowered vehicle
is a
subclass
of
vehicle
(
subclass
PoweredVehicle
Vehicle
)
Transportation.kif 1793-1793
Powered vehicle
is a
subclass
of
vehicle
(
subclass
AgentPoweredVehicle
Vehicle
)
Transportation.kif 1811-1811
Agent powered vehicle
is a
subclass
of
vehicle
(
subclass
MilitaryVehicle
Vehicle
)
Military.kif 131-131
Military vehicle
is a
subclass
of
vehicle
(
subclass
ArmoredVehicle
Vehicle
)
MilitaryDevices.kif 1596-1596
Armored vehicle
is a
subclass
of
vehicle
(
subclass
LandVehicle
Vehicle
)
Mid-level-ontology.kif 3465-3465
Land vehicle
is a
subclass
of
vehicle
(
subclass
WaterVehicle
Vehicle
)
Mid-level-ontology.kif 3483-3483
Water vehicle
is a
subclass
of
vehicle
(
subclass
Spacecraft
Vehicle
)
Mid-level-ontology.kif 17711-17711
Spacecraft
is a
subclass
of
vehicle
(
subclass
Aircraft
Vehicle
)
Mid-level-ontology.kif 17817-17817
Aircraft
is a
subclass
of
vehicle
(
subclass
RecreationalVehicle
Vehicle
)
Mid-level-ontology.kif 25763-25763
Camper
is a
subclass
of
vehicle
(
subclass
DamagedVehicle
Vehicle
)
Mid-level-ontology.kif 30092-30092
Damaged vehicle
is a
subclass
of
vehicle
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