Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| measurementReading |
| appearance as argument number 1 |
|
| (documentation measurementReading EnglishLanguage "(measurementReading ?DEVICE ?QUANTITY) means that ?QUANTITY is a reading of the MeasuringDevice ?DEVICE, e.g. if ?THERMOMETER is a Thermometer, (measurementReading ?THERMOMETER (MeasureFn 42 CelsiusDegree)) would mean that ?THERMOMETER registers 42 degrees Celsius.") | Mid-level-ontology.kif 3557-3561 | |
| (instance measurementReading BinaryPredicate) | Mid-level-ontology.kif 3562-3562 | measurement reading is an instance of binary predicate |
| (domain measurementReading 1 MeasuringDevice) | Mid-level-ontology.kif 3563-3563 | The number 1 argument of measurement reading is an instance of measuring device |
| (domain measurementReading 2 ConstantQuantity) | Mid-level-ontology.kif 3564-3564 | The number 2 argument of measurement reading is an instance of constant quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage measurementReading "%2 is %n a measurement reading of %1") | domainEnglishFormat.kif 1665-1665 | |
| (format ChineseTraditionalLanguage measurementReading "%2 %n 是 %1 的 measurement 讀數") | domainEnglishFormat.kif 1666-1666 | |
| (format ChineseLanguage measurementReading "%2 %n 是 %1 的 measurement 读数") | domainEnglishFormat.kif 1667-1667 | |
| (termFormat EnglishLanguage measurementReading "measurement reading") | domainEnglishFormat.kif 36677-36677 | |
| (termFormat ChineseTraditionalLanguage measurementReading "測量讀數") | domainEnglishFormat.kif 36678-36678 | |
| (termFormat ChineseLanguage measurementReading "测量读数") | domainEnglishFormat.kif 36679-36679 |
| consequent |
|
|
| (=> (and (instance ?O Odometer) (instance ?V Vehicle) (part ?O ?V) (instance ?T Translocation) (instrument ?T ?V) (path ?T ?P) (distanceOnPath (MeasureFn ?D ?U) ?P) (instance ?U LengthMeasure)) (hasPurpose ?O (exists (?M ?L ?DIST) (and (instance ?M Measuring) (instrument ?M ?O) (measurementReading ?O ?DIST) (inList ?D ?L) (holdsDuring (WhenFn (EndFn ?M)) (and (equal ?DIST (MeasureFn (ListSumFn ?L) ?U)) (not (attribute ?O ResetMeasuringDevice)))))))) |
Cars.kif 2824-2850 | If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S and R such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T |
| (=> (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 |
| (=> (instance ?S Speedometer) (hasPurpose ?S (exists (?V ?T ?SPEED ?DIST ?TIME ?M) (and (instance ?V Vehicle) (part ?S ?V) (instance ?T Translocation) (instrument ?T ?V) (measure ?T ?SPEED) (equal ?SPEED (SpeedFn ?DIST ?TIME)) (instance ?M Measuring) (instrument ?M ?S) (measurementReading ?M ?SPEED))))) |
Cars.kif 2872-2886 | If X is an instance of speedometer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) the measure of Z is W (7) equal W (8) V per U (9) T is an instance of measuring (10) X is an instrument for T (11) W is a measurement reading of T |
|