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
Device
Artifact
)
Merge.kif 15939-15939
デバイス
は
アーチファクト
の
subclass
では %n
(
subclass
CanalLockGate
Device
)
Transportation.kif 3072-3072
CanalLockGate
は
デバイス
の
subclass
では %n
(
subclass
TrafficLight
Device
)
Transportation.kif 3074-3074
TrafficLight
は
デバイス
の
subclass
では %n
(
subclass
Barricade
Device
)
MilitaryDevices.kif 2015-2015
Barricade
は
デバイス
の
subclass
では %n
(
subclass
Lever
Device
)
Mid-level-ontology.kif 1317-1317
Lever
は
デバイス
の
subclass
では %n
(
subclass
Transducer
Device
)
Mid-level-ontology.kif 1722-1722
Transducer
は
デバイス
の
subclass
では %n
(
subclass
Aerator
Device
)
Mid-level-ontology.kif 1882-1882
Aerator
は
デバイス
の
subclass
では %n
(
subclass
BrushOrComb
Device
)
Mid-level-ontology.kif 1920-1920
BrushOrComb
は
デバイス
の
subclass
では %n
(
subclass
MatchDevice
Device
)
Mid-level-ontology.kif 1934-1934
MatchDevice
は
デバイス
の
subclass
では %n
(
subclass
WritingDevice
Device
)
Mid-level-ontology.kif 1997-1997
WritingDevice
は
デバイス
の
subclass
では %n
(
subclass
SmokingDevice
Device
)
Mid-level-ontology.kif 2009-2009
SmokingDevice
は
デバイス
の
subclass
では %n
(
subclass
Toilet
Device
)
Mid-level-ontology.kif 2198-2198
Toilet
は
デバイス
の
subclass
では %n
(
subclass
Tableware
Device
)
Mid-level-ontology.kif 2248-2248
Tableware
は
デバイス
の
subclass
では %n
(
subclass
Compass
Device
)
Mid-level-ontology.kif 2260-2260
Compass
は
デバイス
の
subclass
では %n
(
subclass
MajorAppliance
Device
)
Mid-level-ontology.kif 2271-2271
MajorAppliance
は
デバイス
の
subclass
では %n
(
subclass
CoolingDevice
Device
)
Mid-level-ontology.kif 2282-2282
CoolingDevice
は
デバイス
の
subclass
では %n
(
subclass
HeatingDevice
Device
)
Mid-level-ontology.kif 2305-2305
HeatingDevice
は
デバイス
の
subclass
では %n
(
subclass
RecreationOrExerciseDevice
Device
)
Mid-level-ontology.kif 2374-2374
RecreationOrExerciseDevice
は
デバイス
の
subclass
では %n
(
subclass
Toy
Device
)
Mid-level-ontology.kif 2385-2385
Toy
は
デバイス
の
subclass
では %n
(
subclass
WalkingCane
Device
)
Mid-level-ontology.kif 2438-2438
WalkingCane
は
デバイス
の
subclass
では %n
(
subclass
WashingDevice
Device
)
Mid-level-ontology.kif 2450-2450
WashingDevice
は
デバイス
の
subclass
では %n
(
subclass
MaterialHandlingEquipment
Device
)
Mid-level-ontology.kif 2462-2462
MaterialHandlingEquipment
は
デバイス
の
subclass
では %n
(
subclass
OpticalDevice
Device
)
Mid-level-ontology.kif 2493-2493
OpticalDevice
は
デバイス
の
subclass
では %n
(
subclass
Filter
Device
)
Mid-level-ontology.kif 2519-2519
Filter
は
デバイス
の
subclass
では %n
(
subclass
FileDevice
Device
)
Mid-level-ontology.kif 2533-2533
FileDevice
は
デバイス
の
subclass
では %n
(
subclass
ElectricDevice
Device
)
Mid-level-ontology.kif 2542-2542
ElectricDevice
は
デバイス
の
subclass
では %n
(
subclass
PowerSource
Device
)
Mid-level-ontology.kif 2565-2565
PowerSource
は
デバイス
の
subclass
では %n
(
subclass
SecurityDevice
Device
)
Mid-level-ontology.kif 2659-2659
SecurityDevice
は
デバイス
の
subclass
では %n
(
subclass
AnimalController
Device
)
Mid-level-ontology.kif 2734-2734
AnimalController
は
デバイス
の
subclass
では %n
(
subclass
SelfPoweredDevice
Device
)
Mid-level-ontology.kif 2749-2749
SelfPoweredDevice
は
デバイス
の
subclass
では %n
(
subclass
AnimalPoweredDevice
Device
)
Mid-level-ontology.kif 2762-2762
AnimalPoweredDevice
は
デバイス
の
subclass
では %n
(
subclass
Baton
Device
)
Mid-level-ontology.kif 2850-2850
Baton
は
デバイス
の
subclass
では %n
(
subclass
LightFixture
Device
)
Mid-level-ontology.kif 3014-3014
LightFixture
は
デバイス
の
subclass
では %n
(
subclass
PaintingDevice
Device
)
Mid-level-ontology.kif 3252-3252
PaintingDevice
は
デバイス
の
subclass
では %n
(
subclass
VehicleController
Device
)
Mid-level-ontology.kif 3384-3384
VehicleController
は
デバイス
の
subclass
では %n
(
subclass
Axle
Device
)
Mid-level-ontology.kif 3535-3535
Axle
は
デバイス
の
subclass
では %n
(
subclass
Lid
Device
)
Mid-level-ontology.kif 4007-4007
Lid
は
デバイス
の
subclass
では %n
(
subclass
Screwdriver
Device
)
Mid-level-ontology.kif 4193-4193
Screwdriver
は
デバイス
の
subclass
では %n
(
subclass
Hammer
Device
)
Mid-level-ontology.kif 4208-4208
Hammer
は
デバイス
の
subclass
では %n
(
subclass
WasherForBolt
Device
)
Mid-level-ontology.kif 4277-4277
WasherForBolt
は
デバイス
の
subclass
では %n
(
subclass
Holder
Device
)
Mid-level-ontology.kif 4314-4314
Holder
は
デバイス
の
subclass
では %n
(
subclass
CleaningDevice
Device
)
Mid-level-ontology.kif 5588-5588
CleaningDevice
は
デバイス
の
subclass
では %n
(
subclass
Camera
Device
)
Mid-level-ontology.kif 13313-13313
Camera
は
デバイス
の
subclass
では %n
(
subclass
Chimney
Device
)
Mid-level-ontology.kif 15034-15034
Chimney
は
デバイス
の
subclass
では %n
(
subclass
Door
Device
)
Mid-level-ontology.kif 15256-15256
Door
は
デバイス
の
subclass
では %n
(
subclass
Fireplace
Device
)
Mid-level-ontology.kif 15354-15354
Fireplace
は
デバイス
の
subclass
では %n
(
subclass
ExplosiveDevice
Device
)
Mid-level-ontology.kif 17841-17841
ExplosiveDevice
は
デバイス
の
subclass
では %n
(
subclass
CuttingDevice
Device
)
Mid-level-ontology.kif 21994-21994
CuttingDevice
は
デバイス
の
subclass
では %n
(
subclass
ContraceptiveDevice
Device
)
Mid-level-ontology.kif 24055-24055
ContraceptiveDevice
は
デバイス
の
subclass
では %n
(
subclass
IroningBoard
Device
)
Mid-level-ontology.kif 25197-25197
IroningBoard
は
デバイス
の
subclass
では %n
(
subclass
DryingDevice
Device
)
Mid-level-ontology.kif 25363-25363
DryingDevice
は
デバイス
の
subclass
では %n
(
subclass
SmokeDetector
Device
)
Mid-level-ontology.kif 25419-25419
SmokeDetector
は
デバイス
の
subclass
では %n
(
subclass
Sprinkler
Device
)
Mid-level-ontology.kif 25434-25434
Sprinkler
は
デバイス
の
subclass
では %n
(
subclass
FireExtinguisher
Device
)
Mid-level-ontology.kif 25478-25478
FireExtinguisher
は
デバイス
の
subclass
では %n
(
subclass
DataStorageDevice
Device
)
Mid-level-ontology.kif 25618-25618
DataStorageDevice
は
デバイス
の
subclass
では %n
(
subclass
KnockLight
Device
)
Mid-level-ontology.kif 25816-25816
KnockLight
は
デバイス
の
subclass
では %n
(
subclass
ElectricalOutlet
Device
)
Mid-level-ontology.kif 25905-25905
ElectricalOutlet
は
デバイス
の
subclass
では %n
(
subclass
OutletAdapter
Device
)
Mid-level-ontology.kif 25962-25962
OutletAdapter
は
デバイス
の
subclass
では %n
(
subclass
Earphone
Device
)
Mid-level-ontology.kif 26048-26048
Earphone
は
デバイス
の
subclass
では %n
(
subclass
AudioRecorder
Device
)
Mid-level-ontology.kif 26245-26245
AudioRecorder
は
デバイス
の
subclass
では %n
(
subclass
TelephoneHandset
Device
)
Mid-level-ontology.kif 26437-26437
TelephoneHandset
は
デバイス
の
subclass
では %n
(
subclass
FireAlarm
Device
)
Mid-level-ontology.kif 26452-26452
FireAlarm
は
デバイス
の
subclass
では %n
(
subclass
Tripod
Device
)
Mid-level-ontology.kif 26703-26703
Tripod
は
デバイス
の
subclass
では %n
(
subclass
VehicleDoor
Device
)
Mid-level-ontology.kif 29377-29377
VehicleDoor
は
デバイス
の
subclass
では %n
(
subclass
Carabiner
Device
)
Mid-level-ontology.kif 30785-30785
Carabiner
は
デバイス
の
subclass
では %n
(
subclass
MusicalInstrument
Device
)
Merge.kif 15957-15957
楽器
は
デバイス
の
subclass
では %n
(
subclass
TransportationDevice
Device
)
Merge.kif 15965-15965
輸送機
は
デバイス
の
subclass
では %n
(
subclass
MeasuringDevice
Device
)
Merge.kif 16000-16000
MeasuringDevice
は
デバイス
の
subclass
では %n
(
subclass
AttachingDevice
Device
)
Merge.kif 16012-16012
AttachingDevice
は
デバイス
の
subclass
では %n
(
subclass
Weapon
Device
)
Merge.kif 16023-16023
武器
は
デバイス
の
subclass
では %n
(
subclass
Machine
Device
)
Merge.kif 16041-16041
機械
は
デバイス
の
subclass
では %n
(
subclass
EngineeringComponent
Device
)
Merge.kif 16056-16056
エンジニアリング部品
は
デバイス
の
subclass
では %n
(
subclass
MedicalDevice
Device
)
Medicine.kif 661-661
MedicalDevice
は
デバイス
の
subclass
では %n
(
subclass
InternetAccessPoint
Device
)
Hotel.kif 1360-1360
InternetAccessPoint
は
デバイス
の
subclass
では %n
(
subclass
Pendulum
Device
)
engineering.kif 753-753
Pendulum
は
デバイス
の
subclass
では %n
(
subclass
Spring
Device
)
engineering.kif 776-776
Spring
は
デバイス
の
subclass
では %n
(
subclass
TransferSwitch
Device
)
engineering.kif 880-880
TransferSwitch
は
デバイス
の
subclass
では %n
(
subclass
HeatSealer
Device
)
Economy.kif 5160-5160
HeatSealer
は
デバイス
の
subclass
では %n
(
subclass
LaptopScreenPart
Device
)
ComputingBrands.kif 3758-3758
LaptopScreenPart
は
デバイス
の
subclass
では %n
(
subclass
LaptopKeyboardPart
Device
)
ComputingBrands.kif 3775-3775
LaptopKeyboardPart
は
デバイス
の
subclass
では %n
(
subclass
Keyboard
Device
)
ComputerInput.kif 112-112
Keyboard
は
デバイス
の
subclass
では %n
(
subclass
SpeakerDevice
Device
)
ComputerInput.kif 475-475
SpeakerDevice
は
デバイス
の
subclass
では %n
(
subclass
TelephoneCradle
Device
)
Communications.kif 59-59
TelephoneCradle
は
デバイス
の
subclass
では %n
(
subclass
Brake
Device
)
Cars.kif 538-538
Brake
は
デバイス
の
subclass
では %n
(
subclass
WearingFrictionSurface
Device
)
Cars.kif 582-582
WearingFrictionSurface
は
デバイス
の
subclass
では %n
(
subclass
BrakeRotor
Device
)
Cars.kif 660-660
BrakeRotor
は
デバイス
の
subclass
では %n
(
subclass
BrakeDrum
Device
)
Cars.kif 666-666
BrakeDrum
は
デバイス
の
subclass
では %n
(
subclass
BrakeCaliper
Device
)
Cars.kif 672-672
BrakeCaliper
は
デバイス
の
subclass
では %n
(
subclass
BrakePedal
Device
)
Cars.kif 677-677
BrakePedal
は
デバイス
の
subclass
では %n
(
subclass
Damper
Device
)
Cars.kif 770-770
Damper
は
デバイス
の
subclass
では %n
(
subclass
FuelAtomizer
Device
)
Cars.kif 1105-1105
FuelAtomizer
は
デバイス
の
subclass
では %n
(
subclass
EngineChoke
Device
)
Cars.kif 1309-1309
EngineChoke
は
デバイス
の
subclass
では %n
(
subclass
BallBearing
Device
)
Cars.kif 1404-1404
BallBearing
は
デバイス
の
subclass
では %n
(
subclass
Cam
Device
)
Cars.kif 1634-1634
Cam
は
デバイス
の
subclass
では %n
(
subclass
CombustionChamber
Device
)
Cars.kif 1695-1695
CombustionChamber
は
デバイス
の
subclass
では %n
(
subclass
Clutch
Device
)
Cars.kif 1808-1808
Clutch
は
デバイス
の
subclass
では %n
(
subclass
EngineConnectingRod
Device
)
Cars.kif 1967-1967
EngineConnectingRod
は
デバイス
の
subclass
では %n
(
subclass
Distributor
Device
)
Cars.kif 2267-2267
Distributor
は
デバイス
の
subclass
では %n
(
subclass
Drivebelt
Device
)
Cars.kif 2310-2310
Drivebelt
は
デバイス
の
subclass
では %n
(
subclass
GasPedal
Device
)
Cars.kif 2534-2534
GasPedal
は
デバイス
の
subclass
では %n
(
subclass
AutomobileMuffler
Device
)
Cars.kif 2613-2613
AutomobileMuffler
は
デバイス
の
subclass
では %n
(
subclass
ExhaustManifold
Device
)
Cars.kif 2619-2619
ExhaustManifold
は
デバイス
の
subclass
では %n
(
subclass
Gasket
Device
)
Cars.kif 2832-2832
Gasket
は
デバイス
の
subclass
では %n
(
subclass
SpeedGovernor
Device
)
Cars.kif 2904-2904
SpeedGovernor
は
デバイス
の
subclass
では %n
(
subclass
GreaseFitting
Device
)
Cars.kif 3006-3006
GreaseFitting
は
デバイス
の
subclass
では %n
(
subclass
GreaseGun
Device
)
Cars.kif 3030-3030
GreaseGun
は
デバイス
の
subclass
では %n
(
subclass
JumperCable
Device
)
Cars.kif 3209-3209
JumperCable
は
デバイス
の
subclass
では %n
(
subclass
SafetyDevice
Device
)
Cars.kif 3350-3350
SafetyDevice
は
デバイス
の
subclass
では %n
(
subclass
RockerArm
Device
)
Cars.kif 3836-3836
RockerArm
は
デバイス
の
subclass
では %n
(
subclass
Rod
Device
)
Cars.kif 4115-4115
Rod
は
デバイス
の
subclass
では %n
(
subclass
Wrench
Device
)
Cars.kif 4145-4145
Wrench
は
デバイス
の
subclass
では %n
(
subclass
MechanicalTap
Device
)
Cars.kif 4201-4201
MechanicalTap
は
デバイス
の
subclass
では %n
(
subclass
MechanicalDie
Device
)
Cars.kif 4215-4215
MechanicalDie
は
デバイス
の
subclass
では %n
(
subclass
Reel
Device
)
Cars.kif 4268-4268
Reel
は
デバイス
の
subclass
では %n
(
subclass
WheelChock
Device
)
Cars.kif 4316-4316
WheelChock
は
デバイス
の
subclass
では %n
(
subclass
TireChain
Device
)
Cars.kif 4438-4438
TireChain
は
デバイス
の
subclass
では %n
(
subclass
UnpoweredDevice
Device
)
Cars.kif 4480-4480
UnpoweredDevice
は
デバイス
の
subclass
では %n
(
subclass
VehicleRoofRack
Device
)
Cars.kif 4664-4664
VehicleRoofRack
は
デバイス
の
subclass
では %n
(
subclass
Tire
Device
)
Cars.kif 4780-4780
Tire
は
デバイス
の
subclass
では %n
(
subclass
WheelRim
Device
)
Cars.kif 4806-4806
WheelRim
は
デバイス
の
subclass
では %n
(
subclass
TireChanger
Device
)
Cars.kif 4870-4870
TireChanger
は
デバイス
の
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