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
ElectricDevice
Device
)
Mid-level-ontology.kif 2542-2542
(
subclass
ElectrifiedRailwayCar
ElectricDevice
)
Transportation.kif 2167-2167
(
subclass
Computer
ElectricDevice
)
QoSontology.kif 25-25
(
subclass
ElectricMotor
ElectricDevice
)
Mid-level-ontology.kif 1780-1780
(
subclass
Microphone
ElectricDevice
)
Mid-level-ontology.kif 1797-1797
(
subclass
ReceiverDevice
ElectricDevice
)
Mid-level-ontology.kif 1803-1803
(
subclass
Telegraph
ElectricDevice
)
Mid-level-ontology.kif 1813-1813
(
subclass
Refrigerator
ElectricDevice
)
Mid-level-ontology.kif 2343-2343
(
subclass
Battery
ElectricDevice
)
Mid-level-ontology.kif 2578-2578
(
subclass
Radar
ElectricDevice
)
Mid-level-ontology.kif 2582-2582
(
subclass
SecurityAlarm
ElectricDevice
)
Mid-level-ontology.kif 2868-2868
(
subclass
Telephone
ElectricDevice
)
Mid-level-ontology.kif 2951-2951
(
subclass
FaxMachine
ElectricDevice
)
Mid-level-ontology.kif 2995-2995
(
subclass
SolderingIron
ElectricDevice
)
Mid-level-ontology.kif 5641-5641
(
subclass
TelephonyDevice
ElectricDevice
)
Mid-level-ontology.kif 24563-24563
(
subclass
FabricIron
ElectricDevice
)
Mid-level-ontology.kif 25176-25176
(
subclass
HairDryer
ElectricDevice
)
Mid-level-ontology.kif 25381-25381
(
subclass
AirConditioner
ElectricDevice
)
Mid-level-ontology.kif 25988-25988
(
subclass
SpeakerDevice
ElectricDevice
)
Mid-level-ontology.kif 26034-26034
(
subclass
VideoDisplay
ElectricDevice
)
Mid-level-ontology.kif 26262-26262
(
subclass
Photocopier
ElectricDevice
)
Mid-level-ontology.kif 26292-26292
(
subclass
FitbitDevice
ElectricDevice
)
Medicine.kif 4459-4459
(
subclass
Microwave
ElectricDevice
)
Food.kif 350-350
(
subclass
ElectricCoffeeMaker
ElectricDevice
)
Food.kif 374-374
(
subclass
CapacitorElement
ElectricDevice
)
engineering.kif 535-535
(
subclass
InductorElement
ElectricDevice
)
engineering.kif 552-552
(
subclass
Stator
ElectricDevice
)
engineering.kif 790-790
(
subclass
ElectricalMotor
ElectricDevice
)
engineering.kif 796-796
(
subclass
ResistorElement
ElectricDevice
)
engineering.kif 834-834
(
subclass
ElectricalComponent
ElectricDevice
)
engineering.kif 980-980
(
subclass
ElectricalCircuit
ElectricDevice
)
engineering.kif 984-984
(
subclass
DevicePowerSupply
ElectricDevice
)
ComputingBrands.kif 3559-3559
(
subclass
ElectricSpeakerDevice
ElectricDevice
)
ComputerInput.kif 485-485
(
subclass
VideoCamera
ElectricDevice
)
ComputerInput.kif 557-557
(
subclass
Accelerometer
ElectricDevice
)
ComputerInput.kif 628-628
(
subclass
TelevisionSet
ElectricDevice
)
Communications.kif 398-398
(
subclass
Charger
ElectricDevice
)
Cars.kif 2410-2410
(
subclass
Electromagnet
ElectricDevice
)
Cars.kif 3887-3887
(
subclass
Solenoid
ElectricDevice
)
Cars.kif 3923-3923
(
subclass
ElectricLightFixture
ElectricDevice
)
Cars.kif 5076-5076
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