Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



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