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

Formal Language: 



Term 1: Term 2:

(subclass ElectricDevice Device) Mid-level-ontology.kif 2497-2497
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2175-2175
(subclass Computer ElectricDevice) QoSontology.kif 25-25
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1735-1735
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1752-1752
(subclass ReceiverDevice ElectricDevice) Mid-level-ontology.kif 1758-1758
(subclass Telegraph ElectricDevice) Mid-level-ontology.kif 1768-1768
(subclass Refrigerator ElectricDevice) Mid-level-ontology.kif 2298-2298
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2533-2533
(subclass Radar ElectricDevice) Mid-level-ontology.kif 2537-2537
(subclass SecurityAlarm ElectricDevice) Mid-level-ontology.kif 2819-2819
(subclass Telephone ElectricDevice) Mid-level-ontology.kif 2902-2902
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2946-2946
(subclass SolderingIron ElectricDevice) Mid-level-ontology.kif 5325-5325
(subclass TelephonyDevice ElectricDevice) Mid-level-ontology.kif 23914-23914
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 24508-24508
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 24713-24713
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 24749-24749
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 24906-24906
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25355-25355
(subclass SpeakerDevice ElectricDevice) Mid-level-ontology.kif 25401-25401
(subclass VideoDisplay ElectricDevice) Mid-level-ontology.kif 25628-25628
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 25658-25658
(subclass CapacitorElement ElectricDevice) engineering.kif 532-532
(subclass InductorElement ElectricDevice) engineering.kif 549-549
(subclass Stator ElectricDevice) engineering.kif 788-788
(subclass ElectricalMotor ElectricDevice) engineering.kif 794-794
(subclass ResistorElement ElectricDevice) engineering.kif 832-832
(subclass ElectricalComponent ElectricDevice) engineering.kif 979-979
(subclass ElectricalCircuit ElectricDevice) engineering.kif 983-983
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3522-3522
(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 3890-3890
(subclass Solenoid ElectricDevice) Cars.kif 3926-3926
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5079-5079


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