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

Formal Language: 



Term 1: Term 2:

(subclass HardDisk ComputerDisk) ComputerInput.kif 665-665 HardDisk ist eine teilkategorie von ComputerDisk
(subclass InternalHardDisk HardDisk) ComputerInput.kif 670-670 InternalHardDisk ist eine teilkategorie von HardDisk
(subclass CartridgeHardDisk HardDisk) ComputerInput.kif 688-688 CartridgeHardDisk ist eine teilkategorie von HardDisk


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