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

Formal Language: 



Term 1: Term 2:

(subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 652-652 RemovableDigitalDataStorageDevice est une sous-classe de DigitalDataStorageDevice
(subclass RemovableDisk RemovableDigitalDataStorageDevice) ComputerInput.kif 683-683 RemovableDisk est une sous-classe de RemovableDigitalDataStorageDevice
(subclass CompactDisc RemovableDigitalDataStorageDevice) ComputerInput.kif 698-698 CompactDisc est une sous-classe de RemovableDigitalDataStorageDevice
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 795-795 FlashDrive est une sous-classe de RemovableDigitalDataStorageDevice
(subclass MemoryCard RemovableDigitalDataStorageDevice) ComputerInput.kif 801-801 MemoryCard est une sous-classe de 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