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

Formal Language: 



Term 1: Term 2:

(subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 652-652 子類 RemovableDigitalDataStorageDevice and DigitalDataStorageDevice
(subclass RemovableDisk RemovableDigitalDataStorageDevice) ComputerInput.kif 683-683 子類 RemovableDisk and RemovableDigitalDataStorageDevice
(subclass CompactDisc RemovableDigitalDataStorageDevice) ComputerInput.kif 698-698 子類 CompactDisc and RemovableDigitalDataStorageDevice
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 795-795 子類 FlashDrive and RemovableDigitalDataStorageDevice
(subclass MemoryCard RemovableDigitalDataStorageDevice) ComputerInput.kif 801-801 子類 MemoryCard and RemovableDigitalDataStorageDevice


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