ElectronicDataStorageDevice - Sigma Knowledge base Browser

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

If a process is an instance of DataSaving and an object is a resource for the process and the object is an instance of ElectronicDataStorageDevice,
then there exists another object such that the other object is an instance of ElectricDevice and the other object is an instrument for the process and the object is connected to the other object holds during the time of existence of the process

consequent

(=>
    (instance ?T Telemetry)
    (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING)
        (and
            (instance ?MEASURING Measuring)
            (instance ?MEASURINGDEVICE MeasuringDevice)
            (instance ?REMOTELOCATION Region)
            (instance ?RECEIVINGLOCATION Region)
            (instance ?MESSAGING Messaging)
            (subProcess ?MESSAGING ?T)
            (subProcess ?MEASURING ?T)
            (instance ?RECEIVINGSTATION ElectronicDataStorageDevice)
            (agent ?MEASURING ?MEASURINGDEVICE)
            (located ?MEASURINGDEVICE ?REMOTELOCATION)
            (located ?RECEIVINGSTATION ?RECEIVINGLOCATION)
            (eventLocated ?MEASURING ?REMOTELOCATION)
            (not
                (equal ?RECEIVINGLOCATION ?REMOTELOCATION))
            (origin ?MESSAGING ?MEASURINGDEVICE)
            (destination ?MESSAGING ?RECEIVINGSTATION))))

Communications.kif 316-334

If a process is an instance of Telemetry,
then there exist an object, an agent,, , another object,, , a physical,, , another process and a third process such that the other process is an instance of measuring and the agent is an instance of MeasuringDevice and the object is an instance of region and the other object is an instance of region and the third process is an instance of Messaging and the third process is a subprocess of the process and the other process is a subprocess of the process and the physical is an instance of ElectronicDataStorageDevice and the agent is an agent of the other process and the agent is located at the object and the physical is located at the other object and event located the other process and the object and equal the other object and the object and the third process originates at the agent and the third process ends up at the physical

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 3.0 is open source software produced by Articulate Software and its partners

(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	ElectronicDataStorageDevice is a subclass of DataStorageDevice

(subclass DigitalDataStorageDevice ElectronicDataStorageDevice)	Media.kif 702-702	DigitalDataStorageDevice is a subclass of ElectronicDataStorageDevice
(subclass RecordingTape ElectronicDataStorageDevice)	Media.kif 1327-1327	RecordingTape is a subclass of ElectronicDataStorageDevice
(subclass TapeCassette ElectronicDataStorageDevice)	Media.kif 1305-1305	TapeCassette is a subclass of ElectronicDataStorageDevice
(termFormat EnglishLanguage ElectronicDataStorageDevice "electronic data storage device")	domainEnglishFormat.kif 64803-64803	TapeCassette is a subclass of ElectronicDataStorageDevice

KB Term:			Term intersection

English Word: