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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectronicDataStorageDevice
ElectronicDataStorageDevice

appearance as argument number 1
-------------------------


(documentation ElectronicDataStorageDevice EnglishLanguage "An instance of ElectronicDataStorageDevice is a DataStorageDevice intended to be used for storing data (information) in some encoding scheme designed to be interpreted by electronic devices.") Media.kif 685-688
(subclass ElectronicDataStorageDevice DataStorageDevice) Media.kif 684-684 subclass ElectronicDataStorageDevice and DataStorageDevice

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


(subclass DigitalDataStorageDevice ElectronicDataStorageDevice) Media.kif 702-702 subclass DigitalDataStorageDevice and ElectronicDataStorageDevice
(subclass RecordingTape ElectronicDataStorageDevice) Media.kif 1329-1329 subclass RecordingTape and ElectronicDataStorageDevice
(subclass TapeCassette ElectronicDataStorageDevice) Media.kif 1307-1307 subclass TapeCassette and ElectronicDataStorageDevice

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


(=>
    (and
        (instance ?DSAVE DataSaving)
        (resource ?DSAVE ?RES)
        (instance ?RES ElectronicDataStorageDevice))
    (exists (?DEV)
        (and
            (instance ?DEV ElectricDevice)
            (instrument ?DSAVE ?DEV)
            (holdsDuring
                (WhenFn ?DSAVE)
                (connected ?RES ?DEV)))))
Media.kif 690-700


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners