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

Formal Language: 



Term 1: Term 2:

(subclass ElectricalCircuit ElectricDevice) engineering.kif 984-984 ElectricalCircuit ist eine teilkategorie von ElectricDevice
(subclass Amplifier ElectricalCircuit) engineering.kif 990-990 Amplifier ist eine teilkategorie von ElectricalCircuit
(subclass FrequencyFilter ElectricalCircuit) engineering.kif 995-995 FrequencyFilter ist eine teilkategorie von ElectricalCircuit
(subclass Rectifier ElectricalCircuit) engineering.kif 1010-1010 Rectifier ist eine teilkategorie von ElectricalCircuit
(subclass OperationalAmplifier ElectricalCircuit) engineering.kif 1044-1044 OperationalAmplifier ist eine teilkategorie von ElectricalCircuit


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