Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   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 315-317 | |
| (subclass Telemetry Measuring) | Communications.kif 320-320 | Telemetry is a subclass of measuring |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Telemetry "telemetry") | Communications.kif 318-318 |
| 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 322-340 | 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 |
| consequent |
|
|
| (=> (instance ?TS TelemetrySystem) (hasPurpose ?TS (exists (?T) (and (instance ?T Telemetry) (instrument ?T ?TS))))) |
Communications.kif 348-354 | If X is an instance of telemetry system, then X has the purpose there exists Y such that Y is an instance of telemetry and X is an instrument for Y |
|