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
エンジニアリング部品
は
デバイス
の
subclass
では %n
(
subclass
CartridgeCase
EngineeringComponent
)
Mid-level-ontology.kif 1209-1209
CartridgeCase
は
エンジニアリング部品
の
subclass
では %n
(
subclass
GunBarrel
EngineeringComponent
)
Mid-level-ontology.kif 1224-1224
GunBarrel
は
エンジニアリング部品
の
subclass
では %n
(
subclass
GunTrigger
EngineeringComponent
)
Mid-level-ontology.kif 1361-1361
GunTrigger
は
エンジニアリング部品
の
subclass
では %n
(
subclass
GunStock
EngineeringComponent
)
Mid-level-ontology.kif 1438-1438
GunStock
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Handle
EngineeringComponent
)
Mid-level-ontology.kif 1454-1454
Handle
は
エンジニアリング部品
の
subclass
では %n
(
subclass
WingDevice
EngineeringComponent
)
Mid-level-ontology.kif 1512-1512
WingDevice
は
エンジニアリング部品
の
subclass
では %n
(
subclass
DriveComponent
EngineeringComponent
)
Mid-level-ontology.kif 1673-1673
DriveComponent
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Manifold
EngineeringComponent
)
Mid-level-ontology.kif 1775-1775
Manifold
は
エンジニアリング部品
の
subclass
では %n
(
subclass
SwitchDevice
EngineeringComponent
)
Mid-level-ontology.kif 1784-1784
SwitchDevice
は
エンジニアリング部品
の
subclass
では %n
(
subclass
CommunicationDevice
EngineeringComponent
)
Mid-level-ontology.kif 2939-2939
CommunicationDevice
は
エンジニアリング部品
の
subclass
では %n
(
subclass
WireSpring
EngineeringComponent
)
Mid-level-ontology.kif 3617-3617
WireSpring
は
エンジニアリング部品
の
subclass
では %n
(
subclass
WireLine
EngineeringComponent
)
Mid-level-ontology.kif 3622-3622
WireLine
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Hinge
EngineeringComponent
)
Mid-level-ontology.kif 15272-15272
Hinge
は
エンジニアリング部品
の
subclass
では %n
(
subclass
EngineeringConnection
EngineeringComponent
)
Merge.kif 16116-16116
エンジニアリング接続
は
エンジニアリング部品
の
subclass
では %n
(
subclass
FluidPowerDevice
EngineeringComponent
)
engineering.kif 737-737
FluidPowerDevice
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Gear
EngineeringComponent
)
engineering.kif 757-757
Gear
は
エンジニアリング部品
の
subclass
では %n
(
subclass
GearTrain
EngineeringComponent
)
engineering.kif 762-762
GearTrain
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Gearbox
EngineeringComponent
)
engineering.kif 767-767
Gearbox
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Shaft
EngineeringComponent
)
engineering.kif 771-771
Shaft
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Rotor
EngineeringComponent
)
engineering.kif 779-779
Rotor
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Stator
EngineeringComponent
)
engineering.kif 789-789
Stator
は
エンジニアリング部品
の
subclass
では %n
(
subclass
FluidCylinder
EngineeringComponent
)
engineering.kif 906-906
FluidCylinder
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Valve
EngineeringComponent
)
engineering.kif 912-912
Valve
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Controller
EngineeringComponent
)
engineering.kif 1114-1114
Controller
は
エンジニアリング部品
の
subclass
では %n
(
subclass
AppleSystemManagementController
EngineeringComponent
)
ComputingBrands.kif 962-962
システム管理コントローラ
は
エンジニアリング部品
の
subclass
では %n
(
subclass
ComputerPort
EngineeringComponent
)
ComputingBrands.kif 2554-2554
ポート
は
エンジニアリング部品
の
subclass
では %n
(
subclass
ComputerPlug
EngineeringComponent
)
ComputingBrands.kif 2581-2581
プラグ
は
エンジニアリング部品
の
subclass
では %n
(
subclass
ComputerCable
EngineeringComponent
)
ComputingBrands.kif 2706-2706
ケーブル
は
エンジニアリング部品
の
subclass
では %n
(
subclass
ComputerHardware
EngineeringComponent
)
ComputerInput.kif 596-596
ComputerHardware
は
エンジニアリング部品
の
subclass
では %n
(
subclass
ArtificialSatellite
EngineeringComponent
)
Communications.kif 113-113
ArtificialSatellite
は
エンジニアリング部品
の
subclass
では %n
(
subclass
BroadcastingStation
EngineeringComponent
)
Communications.kif 288-288
BroadcastingStation
は
エンジニアリング部品
の
subclass
では %n
(
subclass
TelevisionReceiver
EngineeringComponent
)
Communications.kif 381-381
TelevisionReceiver
は
エンジニアリング部品
の
subclass
では %n
(
subclass
MechanicalJoint
EngineeringComponent
)
Cars.kif 1376-1376
MechanicalJoint
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Radiator
EngineeringComponent
)
Cars.kif 2192-2192
Radiator
は
エンジニアリング部品
の
subclass
では %n
(
subclass
Flywheel
EngineeringComponent
)
Cars.kif 2232-2232
Flywheel
は
エンジニアリング部品
の
subclass
では %n
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