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

Formal Language: 



Term 1: Term 2:

(subclass Loudspeaker ElectricSpeakerDevice) ComputerInput.kif 496-496 Loudspeaker ist eine teilkategorie von ElectricSpeakerDevice
(subclass ComputerLoudspeaker Loudspeaker) ComputerInput.kif 519-519 ComputerLoudspeaker ist eine teilkategorie von Loudspeaker


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