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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DataStorageDevice
DataStorageDevice(data storage device)recording

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 25652-25654
(subclass DataStorageDevice Device) Mid-level-ontology.kif 25651-25651 Data storage device is a subclass of device

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


(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 932-932 The values returned by album copies function are subclasses of data storage device
(subclass AudioDataStorageDevice DataStorageDevice) Media.kif 817-817 Audio data storage device is a subclass of data storage device
(subclass Blackboard DataStorageDevice) Media.kif 1086-1086 Blackboard is a subclass of data storage device
(subclass ElectronicDataStorageDevice DataStorageDevice) Media.kif 684-684 Electronic data storage device is a subclass of data storage device
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 Hardcopy document is a subclass of data storage device
(subclass PrintedSheet DataStorageDevice) Media.kif 1067-1067 Printed sheet is a subclass of data storage device
(subclass VideoDataStorageDevice DataStorageDevice) Media.kif 837-837 Video data storage device is a subclass of data storage device
(subclass Whiteboard DataStorageDevice) Mid-level-ontology.kif 25656-25656 Whiteboard is a subclass of data storage device
(termFormat EnglishLanguage DataStorageDevice "data storage device") domainEnglishFormat.kif 64745-64745

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


(domain stored 2 DataStorageDevice) Mid-level-ontology.kif 14387-14387 The number 2 argument of stored is an instance of data storage device
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 931-931 The number 2 argument of album copies function is a subclass of data storage device

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


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

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


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


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