| Telemetry | |
| appearance as argument number 1 |
|
|
| (documentation Telemetry EnglishLanguage "The science, and associated technology, of the automatic recording and transmission of data from a remote source to a receiving station for analysis. from Wiktionary") | Communications.kif 309-311 | |
| (subclass Telemetry Measuring) | Communications.kif 314-314 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Telemetry "telemetry") | Communications.kif 312-312 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?TS TelemetrySystem) (hasPurpose ?TS (exists (?T ?NC) (and (instance ?T Telemetry) (instrument ?T ?TS))))) |
Communications.kif 342-348 |
|
|
|