| appearance as argument number 1 |
|
| (subclass ElectronicDataStorageDevice DataStorageDevice) | Media.kif 684-684 | Electronic data storage device is a subclass of data storage device |
| (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 | Electronic data storage device is a subclass of data storage device |
| appearance as argument number 2 |
|
|
| 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 X is an instance of data saving, Y is a resource for X, and Y is an instance of electronic data storage device, then there exists Z such that Z is an instance of electric device, Z is an instrument for X, and Y is connected to Z holds during the time of existence of X |
| 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 341-359 | If X is an instance of telemetry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that U is an instance of measuring (3) Z is an instance of measuring device (4) Y is an instance of region (5) W is an instance of region (6) T is an instance of messaging (7) T is a subprocess of X (8) U is a subprocess of X (9) V is an instance of electronic data storage device (10) Z is an agent of U (11) Z is located at Y (12) V is located at W (13) U is located at Y (14) equal W (15) Y (16) T originates at Z (17) T ends up at V |
|
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