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

Formal Language: 



Term 1: Term 2:

(subclass DiskDriveWithRemovableDisks DiskDrive) ComputerInput.kif 752-752 DiskDriveWithRemovableDisks ist eine teilkategorie von DiskDrive
(subclass CartridgeHardDiskDrive DiskDriveWithRemovableDisks) ComputerInput.kif 757-757 CartridgeHardDiskDrive ist eine teilkategorie von DiskDriveWithRemovableDisks
(subclass FloppyDiskDrive DiskDriveWithRemovableDisks) ComputerInput.kif 766-766 FloppyDiskDrive ist eine teilkategorie von DiskDriveWithRemovableDisks


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