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

Formal Language: 



Term 1: Term 2:

(subclass Amplifier ElectricalCircuit) engineering.kif 990-990 Amplifier ist eine teilkategorie von ElectricalCircuit
(subclass InvertingAmplifier Amplifier) engineering.kif 1000-1000 InvertingAmplifier ist eine teilkategorie von Amplifier
(subclass NoninvertingAmplifier Amplifier) engineering.kif 1005-1005 NoninvertingAmplifier ist eine teilkategorie von Amplifier


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