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

Formal Language: 



Term 1: Term 2:

(subclass AcrossVariableAccumulator PureTwopole) engineering.kif 513-513 AcrossVariableAccumulator ist eine teilkategorie von PureTwopole
(subclass Inertor AcrossVariableAccumulator) engineering.kif 578-578 Inertor ist eine teilkategorie von AcrossVariableAccumulator


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