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 5640-5640
(subclass TelephonyDevice ElectricDevice) Mid-level-ontology.kif 24562-24562
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 25175-25175
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 25380-25380
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25976-25976
(subclass SpeakerDevice ElectricDevice) Mid-level-ontology.kif 26022-26022
(subclass VideoDisplay ElectricDevice) Mid-level-ontology.kif 26250-26250
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 26280-26280
(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 2416-2416
(subclass Electromagnet ElectricDevice) Cars.kif 3895-3895
(subclass Solenoid ElectricDevice) Cars.kif 3931-3931
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5084-5084


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