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

Formal Language: 



Term 1: Term 2:

(subclass RemovableDisk ComputerDisk) ComputerInput.kif 682-682 RemovableDisk ist eine teilkategorie von ComputerDisk
(subclass RemovableDisk RemovableDigitalDataStorageDevice) ComputerInput.kif 683-683 RemovableDisk ist eine teilkategorie von RemovableDigitalDataStorageDevice
(subclass CartridgeHardDisk RemovableDisk) ComputerInput.kif 689-689 CartridgeHardDisk ist eine teilkategorie von RemovableDisk
(subclass FloppyDisk RemovableDisk) ComputerInput.kif 693-693 FloppyDisk ist eine teilkategorie von RemovableDisk


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