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

Formal Language: 



Term 1: Term 2:

(subclass CartridgeHardDisk HardDisk) ComputerInput.kif 688-688 CartridgeHardDisk ist eine teilkategorie von HardDisk
(subclass CartridgeHardDisk RemovableDisk) ComputerInput.kif 689-689 CartridgeHardDisk 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