| 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 | ElectronicDataStorageDevice は DataStorageDevice の subclass では |
| appearance as argument number 2 |
|
|
| (subclass DigitalDataStorageDevice ElectronicDataStorageDevice) | Media.kif 702-702 | DigitalDataStorageDevice は ElectronicDataStorageDevice の subclass では |
| (subclass RecordingTape ElectronicDataStorageDevice) | Media.kif 1327-1327 | RecordingTape は ElectronicDataStorageDevice の subclass では |
| (subclass TapeCassette ElectronicDataStorageDevice) | Media.kif 1305-1305 | TapeCassette は ElectronicDataStorageDevice の subclass では |
| (termFormat EnglishLanguage ElectronicDataStorageDevice "electronic data storage device") | domainEnglishFormat.kif 64804-64804 | TapeCassette は ElectronicDataStorageDevice の subclass では |
| 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 |
| 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 |
|
|
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