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

Formal Language: 



Term 1: Term 2:

(subclass Terminal ElectricalComponent) engineering.kif 821-821 Terminal ist eine teilkategorie von ElectricalComponent
(subclass Base Terminal) engineering.kif 1068-1068 Base ist eine teilkategorie von Terminal
(subclass Collector Terminal) engineering.kif 1073-1073 Collector ist eine teilkategorie von Terminal
(subclass Emitter Terminal) engineering.kif 1077-1077 Emitter ist eine teilkategorie von Terminal


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