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

Formal Language: 



Term 1: Term 2:

(subclass ThroughVariableAccumulator PureTwopole) engineering.kif 517-517 ThroughVariableAccumulator ist eine teilkategorie von PureTwopole
(subclass SpringElement ThroughVariableAccumulator) engineering.kif 583-583 SpringElement ist eine teilkategorie von ThroughVariableAccumulator


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