Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
DigitalDataStorageDevice
ElectronicDataStorageDevice
)
Media.kif 702-702
(
subclass
HardDiskDrive
DigitalDataStorageDevice
)
QoSontology.kif 77-77
(
subclass
WriteOnceDataStorage
DigitalDataStorageDevice
)
Media.kif 711-711
(
subclass
RewritableDataStorage
DigitalDataStorageDevice
)
Media.kif 739-739
(
subclass
ReadOnlyMemoryDataStorage
DigitalDataStorageDevice
)
Media.kif 766-766
(
subclass
OpticalDisc
DigitalDataStorageDevice
)
Media.kif 1128-1128
(
subclass
CompactDisc
DigitalDataStorageDevice
)
Media.kif 1153-1153
(
subclass
DVD
DigitalDataStorageDevice
)
Media.kif 1254-1254
(
subclass
DigitalAudioTapeCassette
DigitalDataStorageDevice
)
Media.kif 1321-1321
(
subclass
InternalDigitalDataStorageDevice
DigitalDataStorageDevice
)
ComputerInput.kif 648-648
(
subclass
RemovableDigitalDataStorageDevice
DigitalDataStorageDevice
)
ComputerInput.kif 652-652
(
subclass
ComputerDisk
DigitalDataStorageDevice
)
ComputerInput.kif 657-657
(
subclass
SolidStateDataStorageDevice
DigitalDataStorageDevice
)
ComputerInput.kif 789-789
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