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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DataStorageDevice

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 25652-25654
(subclass DataStorageDevice Device) Mid-level-ontology.kif 25651-25651 子類 DataStorageDevice and Device

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


(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 932-932 範圍子類 AlbumCopiesFn and DataStorageDevice
(subclass AudioDataStorageDevice DataStorageDevice) Media.kif 817-817 子類 AudioDataStorageDevice and DataStorageDevice
(subclass Blackboard DataStorageDevice) Media.kif 1086-1086 子類 Blackboard and DataStorageDevice
(subclass ElectronicDataStorageDevice DataStorageDevice) Media.kif 684-684 子類 ElectronicDataStorageDevice and DataStorageDevice
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 子類 HardcopyDocument and DataStorageDevice
(subclass PrintedSheet DataStorageDevice) Media.kif 1067-1067 子類 PrintedSheet and DataStorageDevice
(subclass VideoDataStorageDevice DataStorageDevice) Media.kif 837-837 子類 VideoDataStorageDevice and DataStorageDevice
(subclass Whiteboard DataStorageDevice) Mid-level-ontology.kif 25656-25656 子類 Whiteboard and DataStorageDevice
(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 stored, 2 and DataStorageDevice
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 931-931 域子類 AlbumCopiesFn, 2 and DataStorageDevice

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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