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

Formal Language: 



Term 1: Term 2:

(subclass ComputerLoudspeaker ComputerOutputDevice) ComputerInput.kif 518-518 ComputerLoudspeaker ist eine teilkategorie von ComputerOutputDevice
(subclass ComputerLoudspeaker Loudspeaker) ComputerInput.kif 519-519 ComputerLoudspeaker ist eine teilkategorie von Loudspeaker
(subclass InternalComputerLoudspeaker ComputerLoudspeaker) ComputerInput.kif 533-533 InternalComputerLoudspeaker ist eine teilkategorie von ComputerLoudspeaker


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