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 e' uma sub-classe de Aparelho

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


(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 932-932 Os valores retornados por AlbumCopiesFn sao as sub-classes de DataStorageDevice
(subclass AudioDataStorageDevice DataStorageDevice) Media.kif 817-817 AudioDataStorageDevice e' uma sub-classe de DataStorageDevice
(subclass Blackboard DataStorageDevice) Media.kif 1086-1086 Blackboard e' uma sub-classe de DataStorageDevice
(subclass ElectronicDataStorageDevice DataStorageDevice) Media.kif 684-684 ElectronicDataStorageDevice e' uma sub-classe de DataStorageDevice
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 HardcopyDocument e' uma sub-classe de DataStorageDevice
(subclass PrintedSheet DataStorageDevice) Media.kif 1067-1067 PrintedSheet e' uma sub-classe de DataStorageDevice
(subclass VideoDataStorageDevice DataStorageDevice) Media.kif 837-837 VideoDataStorageDevice e' uma sub-classe de DataStorageDevice
(subclass Whiteboard DataStorageDevice) Mid-level-ontology.kif 25656-25656 Whiteboard e' uma sub-classe de 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 O argumento numero 2 de stored e' uma instancia de DataStorageDevice
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 931-931 O argumento numero 2 de AlbumCopiesFn e' uma sub-classe de 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