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

Formal Language: 



Term 1: Term 2:

(subclass ElectricalEngineeringMethod Method) engineering.kif 1190-1190 ElectricalEngineeringMethod ist eine teilkategorie von Method
(subclass Pwm ElectricalEngineeringMethod) engineering.kif 1193-1193 Pwm ist eine teilkategorie von ElectricalEngineeringMethod


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