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 23574-23576
(subclass DataStorageDevice Device) Mid-level-ontology.kif 23573-23573 DataStorageDevice设备subclass

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


(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 928-928 AlbumCopiesFn 的所得值 是 DataStorageDevicesubclass
(subclass AudioDataStorageDevice DataStorageDevice) Media.kif 817-817 AudioDataStorageDeviceDataStorageDevicesubclass
(subclass Blackboard DataStorageDevice) Media.kif 1090-1090 BlackboardDataStorageDevicesubclass
(subclass ElectronicDataStorageDevice DataStorageDevice) Media.kif 684-684 ElectronicDataStorageDeviceDataStorageDevicesubclass
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 HardcopyDocumentDataStorageDevicesubclass
(subclass PrintedSheet DataStorageDevice) Media.kif 1071-1071 PrintedSheetDataStorageDevicesubclass
(subclass VideoDataStorageDevice DataStorageDevice) Media.kif 837-837 VideoDataStorageDeviceDataStorageDevicesubclass
(subclass Whiteboard DataStorageDevice) Mid-level-ontology.kif 23578-23578 WhiteboardDataStorageDevicesubclass

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


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

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


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

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


(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))
ComputingBrands.kif 3825-3838
(=>
    (instance ?DSAVE DataSaving)
    (exists (?DSTORE)
        (and
            (instance ?DSTORE DataStorageDevice)
            (resource ?DSAVE ?DSTORE))))
QoSontology.kif 1920-1925
(=>
    (record ?REC ?PHYS)
    (exists (?DS)
        (and
            (instance ?DS DataStorageDevice)
            (stored ?REC ?DS))))
Mid-level-ontology.kif 11988-11993


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