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 23549-23551
(subclass DataStorageDevice Device) Mid-level-ontology.kif 23548-23548 subclass DataStorageDevice and Device

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


(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 928-928 rangeSubclass AlbumCopiesFn and DataStorageDevice
(subclass AudioDataStorageDevice DataStorageDevice) Media.kif 817-817 subclass AudioDataStorageDevice and DataStorageDevice
(subclass Blackboard DataStorageDevice) Media.kif 1090-1090 subclass Blackboard and DataStorageDevice
(subclass ElectronicDataStorageDevice DataStorageDevice) Media.kif 684-684 subclass ElectronicDataStorageDevice and DataStorageDevice
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 subclass HardcopyDocument and DataStorageDevice
(subclass PrintedSheet DataStorageDevice) Media.kif 1071-1071 subclass PrintedSheet and DataStorageDevice
(subclass VideoDataStorageDevice DataStorageDevice) Media.kif 837-837 subclass VideoDataStorageDevice and DataStorageDevice
(subclass Whiteboard DataStorageDevice) Mid-level-ontology.kif 23553-23553 subclass Whiteboard and DataStorageDevice

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


(domain stored 2 DataStorageDevice) Mid-level-ontology.kif 11983-11983 domain stored, 2 and DataStorageDevice
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 927-927 domainSubclass AlbumCopiesFn, 2 and DataStorageDevice

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


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

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 3830-3843
(=>
    (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 11963-11968


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners