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
车辆
是
运输设备
的
subclass
(
subclass
PassengerVehicle
Vehicle
)
Transportation.kif 1742-1742
乘用车
是
车辆
的
subclass
(
subclass
CargoVehicle
Vehicle
)
Transportation.kif 1760-1760
货车
是
车辆
的
subclass
(
subclass
UnpoweredVehicle
Vehicle
)
Transportation.kif 1783-1783
无动力车辆
是
车辆
的
subclass
(
subclass
PoweredVehicle
Vehicle
)
Transportation.kif 1793-1793
动力车辆
是
车辆
的
subclass
(
subclass
AgentPoweredVehicle
Vehicle
)
Transportation.kif 1811-1811
代理动力车辆
是
车辆
的
subclass
(
subclass
MilitaryVehicle
Vehicle
)
Military.kif 131-131
军车
是
车辆
的
subclass
(
subclass
ArmoredVehicle
Vehicle
)
MilitaryDevices.kif 1596-1596
装甲车
是
车辆
的
subclass
(
subclass
LandVehicle
Vehicle
)
Mid-level-ontology.kif 3465-3465
陆地车辆
是
车辆
的
subclass
(
subclass
WaterVehicle
Vehicle
)
Mid-level-ontology.kif 3483-3483
水车
是
车辆
的
subclass
(
subclass
Spacecraft
Vehicle
)
Mid-level-ontology.kif 17711-17711
宇宙飞船
是
车辆
的
subclass
(
subclass
Aircraft
Vehicle
)
Mid-level-ontology.kif 17817-17817
飞机
是
车辆
的
subclass
(
subclass
RecreationalVehicle
Vehicle
)
Mid-level-ontology.kif 25763-25763
RecreationalVehicle
是
车辆
的
subclass
(
subclass
DamagedVehicle
Vehicle
)
Mid-level-ontology.kif 30092-30092
DamagedVehicle
是
车辆
的
subclass
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