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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectronicDataStorageDevice

Sigma KEE - ElectronicDataStorageDevice
ElectronicDataStorageDevice(electronic data storage device)

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 Electronic data storage device is a subclass of data storage device

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


(subclass DigitalDataStorageDevice ElectronicDataStorageDevice) Media.kif 702-702 Digital data storage device is a subclass of electronic data storage device
(subclass RecordingTape ElectronicDataStorageDevice) Media.kif 1325-1325 Recording tape is a subclass of electronic data storage device
(subclass TapeCassette ElectronicDataStorageDevice) Media.kif 1303-1303 Tape cassette is a subclass of electronic data storage device
(termFormat EnglishLanguage ElectronicDataStorageDevice "electronic data storage device") domainEnglishFormat.kif 64810-64810

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