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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DataStorageDevice
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 25006-25008
(subclass DataStorageDevice Device) Mid-level-ontology.kif 25005-25005 DataStorageDevice设备subclass

appearance as argument number 2
-------------------------


(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 929-929 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 25010-25010 WhiteboardDataStorageDevicesubclass

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?DSTORE DataStorageDevice)
        (attribute ?DSTORE Blank))
    (not
        (exists (?DATA)
            (stored ?DATA ?DSTORE))))
Mid-level-ontology.kif 13846-13852

consequent
-------------------------


(=>
    (instance ?DSAVE DataSaving)
    (exists (?DSTORE)
        (and
            (instance ?DSTORE DataStorageDevice)
            (resource ?DSAVE ?DSTORE))))
QoSontology.kif 1919-1924
(=>
    (record ?REC ?PHYS)
    (exists (?DS)
        (and
            (instance ?DS DataStorageDevice)
            (stored ?REC ?DS))))
Mid-level-ontology.kif 13806-13811


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



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