Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Libya
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MeasuringDevice Device) | Merge.kif 16353-16353 | Measuring device is a subclass of device |
| (documentation MeasuringDevice EnglishLanguage "Any Device whose purpose is to measure a PhysicalQuantity.") | Merge.kif 16354-16355 | Measuring device is a subclass of device |
| (externalImage MeasuringDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 35/ TapeMeasure.png/ 180px_TapeMeasure.png") | pictureList.kif 1176-1176 | Measuring device is a subclass of device |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain measurementReading 1 MeasuringDevice) | Mid-level-ontology.kif 3563-3563 | The number 1 argument of measurement reading is an instance of measuring device |
| antecedent |
|
|
| (=> (instance ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE))))) |
Merge.kif 16357-16363 | If X is an instance of measuring device, then X has the purpose there exists Y such that Y is an instance of measuring and X is an instrument for Y |
| (=> (and (instance ?X MeasuringDevice) (attribute ?X ResetMeasuringDevice)) (and (measurementReading ?X (MeasureFn 0 ?U)) (instance ?U UnitOfMeasure))) |
Cars.kif 2858-2865 | If X is an instance of measuring device and reset measuring device is an attribute of X, then 0 Y(s) is a measurement reading of X and Y is an instance of unit of measure |
| 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 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 |
|
