Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - DataStorageDevice

appearance as argument number 1

(documentation DataStorageDevice EnglishLanguage "An instance of DataStorageDevice is a Device intended to be used for storing data (information).") Mid-level-ontology.kif 25619-25621
(subclass DataStorageDevice Device) Mid-level-ontology.kif 25618-25618 DataStorageDevice设备subclass

appearance as argument number 2

(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 932-932 AlbumCopiesFn 的所得值 是 DataStorageDevicesubclass
(subclass AudioDataStorageDevice DataStorageDevice) Media.kif 817-817 AudioDataStorageDeviceDataStorageDevicesubclass
(subclass Blackboard DataStorageDevice) Media.kif 1086-1086 BlackboardDataStorageDevicesubclass
(subclass ElectronicDataStorageDevice DataStorageDevice) Media.kif 684-684 ElectronicDataStorageDeviceDataStorageDevicesubclass
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 HardcopyDocumentDataStorageDevicesubclass
(subclass PrintedSheet DataStorageDevice) Media.kif 1067-1067 PrintedSheetDataStorageDevicesubclass
(subclass VideoDataStorageDevice DataStorageDevice) Media.kif 837-837 VideoDataStorageDeviceDataStorageDevicesubclass
(subclass Whiteboard DataStorageDevice) Mid-level-ontology.kif 25623-25623 WhiteboardDataStorageDevicesubclass
(termFormat EnglishLanguage DataStorageDevice "data storage device") domainEnglishFormat.kif 64743-64743

appearance as argument number 3

(domain stored 2 DataStorageDevice) Mid-level-ontology.kif 14360-14360 stored 的 2 数量 是 DataStorageDeviceinstance
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 931-931 AlbumCopiesFn 的 2 数量 是 DataStorageDevicesubclass


        (instance ?DSTORE DataStorageDevice)
        (attribute ?DSTORE Blank))
        (exists (?DATA)
            (stored ?DATA ?DSTORE))))
Mid-level-ontology.kif 14380-14386


    (instance ?DSAVE DataSaving)
    (exists (?DSTORE)
            (instance ?DSTORE DataStorageDevice)
            (resource ?DSAVE ?DSTORE))))
QoSontology.kif 1914-1919
    (record ?REC ?PHYS)
    (exists (?DS)
            (instance ?DS DataStorageDevice)
            (stored ?REC ?DS))))
Mid-level-ontology.kif 14340-14345

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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