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

Formal Language: 



Term 1: Term 2:

(subclass Rectifier ElectricalCircuit) engineering.kif 1010-1010 Rectifier ist eine teilkategorie von ElectricalCircuit
(subclass SinglePhaseRectifier Rectifier) engineering.kif 1015-1015 SinglePhaseRectifier ist eine teilkategorie von Rectifier
(subclass ThreePhaseRectifier Rectifier) engineering.kif 1035-1035 ThreePhaseRectifier ist eine teilkategorie von Rectifier


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