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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaseballBat

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 25883-25885
(subclass DataStorageDevice Device) Mid-level-ontology.kif 25882-25882

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


(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 932-932
(subclass AudioDataStorageDevice DataStorageDevice) Media.kif 817-817
(subclass Blackboard DataStorageDevice) Media.kif 1086-1086
(subclass ElectronicDataStorageDevice DataStorageDevice) Media.kif 684-684
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032
(subclass PrintedSheet DataStorageDevice) Media.kif 1067-1067
(subclass VideoDataStorageDevice DataStorageDevice) Media.kif 837-837
(subclass Whiteboard DataStorageDevice) Mid-level-ontology.kif 25887-25887
(termFormat EnglishLanguage DataStorageDevice "data storage device") domainEnglishFormat.kif 64791-64791

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


(domain stored 2 DataStorageDevice) Mid-level-ontology.kif 14578-14578
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 931-931

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


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

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 14558-14563


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