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
EngineeringComponent
Device
)
Merge.kif 16056-16056
子類
EngineeringComponent
and
Device
(
subclass
CartridgeCase
EngineeringComponent
)
Mid-level-ontology.kif 1209-1209
子類
CartridgeCase
and
EngineeringComponent
(
subclass
GunBarrel
EngineeringComponent
)
Mid-level-ontology.kif 1224-1224
子類
槍管
and
EngineeringComponent
(
subclass
GunTrigger
EngineeringComponent
)
Mid-level-ontology.kif 1361-1361
子類
槍扳機
and
EngineeringComponent
(
subclass
GunStock
EngineeringComponent
)
Mid-level-ontology.kif 1438-1438
子類
槍托
and
EngineeringComponent
(
subclass
Handle
EngineeringComponent
)
Mid-level-ontology.kif 1454-1454
子類
處理
and
EngineeringComponent
(
subclass
WingDevice
EngineeringComponent
)
Mid-level-ontology.kif 1512-1512
子類
翼裝置
and
EngineeringComponent
(
subclass
DriveComponent
EngineeringComponent
)
Mid-level-ontology.kif 1673-1673
子類
驅動組件
and
EngineeringComponent
(
subclass
Manifold
EngineeringComponent
)
Mid-level-ontology.kif 1775-1775
子類
多種
and
EngineeringComponent
(
subclass
SwitchDevice
EngineeringComponent
)
Mid-level-ontology.kif 1784-1784
子類
開關設備
and
EngineeringComponent
(
subclass
CommunicationDevice
EngineeringComponent
)
Mid-level-ontology.kif 2939-2939
子類
通訊設備
and
EngineeringComponent
(
subclass
WireSpring
EngineeringComponent
)
Mid-level-ontology.kif 3617-3617
子類
鋼絲彈簧
and
EngineeringComponent
(
subclass
WireLine
EngineeringComponent
)
Mid-level-ontology.kif 3622-3622
子類
電線
and
EngineeringComponent
(
subclass
Hinge
EngineeringComponent
)
Mid-level-ontology.kif 15272-15272
子類
合頁
and
EngineeringComponent
(
subclass
EngineeringConnection
EngineeringComponent
)
Merge.kif 16116-16116
子類
EngineeringConnection
and
EngineeringComponent
(
subclass
FluidPowerDevice
EngineeringComponent
)
engineering.kif 737-737
子類
流體動力裝置
and
EngineeringComponent
(
subclass
Gear
EngineeringComponent
)
engineering.kif 757-757
子類
齒輪
and
EngineeringComponent
(
subclass
GearTrain
EngineeringComponent
)
engineering.kif 762-762
子類
齒輪系
and
EngineeringComponent
(
subclass
Gearbox
EngineeringComponent
)
engineering.kif 767-767
子類
變速器
and
EngineeringComponent
(
subclass
Shaft
EngineeringComponent
)
engineering.kif 771-771
子類
軸
and
EngineeringComponent
(
subclass
Rotor
EngineeringComponent
)
engineering.kif 779-779
子類
轉子
and
EngineeringComponent
(
subclass
Stator
EngineeringComponent
)
engineering.kif 789-789
子類
定子
and
EngineeringComponent
(
subclass
FluidCylinder
EngineeringComponent
)
engineering.kif 906-906
子類
液壓缸
and
EngineeringComponent
(
subclass
Valve
EngineeringComponent
)
engineering.kif 912-912
子類
閥
and
EngineeringComponent
(
subclass
Controller
EngineeringComponent
)
engineering.kif 1114-1114
子類
調節器
and
EngineeringComponent
(
subclass
AppleSystemManagementController
EngineeringComponent
)
ComputingBrands.kif 962-962
子類
系统管理控制器
and
EngineeringComponent
(
subclass
ComputerPort
EngineeringComponent
)
ComputingBrands.kif 2554-2554
子類
端口
and
EngineeringComponent
(
subclass
ComputerPlug
EngineeringComponent
)
ComputingBrands.kif 2581-2581
子類
插頭
and
EngineeringComponent
(
subclass
ComputerCable
EngineeringComponent
)
ComputingBrands.kif 2706-2706
子類
連接線
and
EngineeringComponent
(
subclass
ComputerHardware
EngineeringComponent
)
ComputerInput.kif 596-596
子類
電腦硬件
and
EngineeringComponent
(
subclass
ArtificialSatellite
EngineeringComponent
)
Communications.kif 113-113
子類
人造衛星
and
EngineeringComponent
(
subclass
BroadcastingStation
EngineeringComponent
)
Communications.kif 288-288
子類
電台
and
EngineeringComponent
(
subclass
TelevisionReceiver
EngineeringComponent
)
Communications.kif 381-381
子類
電視接收器
and
EngineeringComponent
(
subclass
MechanicalJoint
EngineeringComponent
)
Cars.kif 1376-1376
子類
MechanicalJoint
and
EngineeringComponent
(
subclass
Radiator
EngineeringComponent
)
Cars.kif 2192-2192
子類
Radiator
and
EngineeringComponent
(
subclass
Flywheel
EngineeringComponent
)
Cars.kif 2232-2232
子類
Flywheel
and
EngineeringComponent
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