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 23580-23582
(subclass DataStorageDevice Device) Mid-level-ontology.kif 23579-23579

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


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

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


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

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


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

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 11990-11995


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