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

Formal Language: 



Term 1: Term 2:

(subclass ComputerDisk DigitalDataStorageDevice) ComputerInput.kif 657-657 ComputerDisk ist eine teilkategorie von DigitalDataStorageDevice
(subclass HardDisk ComputerDisk) ComputerInput.kif 665-665 HardDisk ist eine teilkategorie von ComputerDisk
(subclass RemovableDisk ComputerDisk) ComputerInput.kif 682-682 RemovableDisk ist eine teilkategorie von ComputerDisk


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