Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
LengthMeasure(length measure)
|  | 440_yards, 880_yards, AU, Admiralty_mile, Astronomical_Unit, Gunter's_chain, Roman_mile, Roman_pace, Swedish_mile, absolute_ceiling, altitude, archine, astronomy_unit, beam, body_length, bore, breast-deep, breast-high, broadness, cable, cable's_length, cable_length, caliber, calibre, ceiling, chain, circuit, circumference, clearance, combat_ceiling, coss, cubit, dam, decameter, decametre, decimeter, decimetre, dekameter, dekametre, diam, diameter, digit, dimension, distance, divergence, divergency, dkm, dm, draft, draught... |
| appearance as argument number 1 |
|
|
| (subclass LengthMeasure ConstantQuantity) | Merge.kif 6361-6361 | Length measure is a subclass of constant quantity |
| (documentation LengthMeasure EnglishLanguage "A subclass of ConstantQuantity, instances of which are measures of length.") | Merge.kif 6363-6364 | Length measure is a subclass of constant quantity |
| (externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 8570-8570 | Length measure is a subclass of constant quantity |
| appearance as argument number 2 |
|
|
| (range DiameterFn LengthMeasure) | Mid-level-ontology.kif 5715-5715 | The range of diameter is an instance of length measure |
| (range RadiusFn LengthMeasure) | Mid-level-ontology.kif 5734-5734 | The range of radius is an instance of length measure |
| (range DatumFn LengthMeasure) | Geography.kif 6414-6414 | The range of datum is an instance of length measure |
| (subclass AltitudeMeasure LengthMeasure) | MilitaryDevices.kif 1655-1655 | Altitude measure is a subclass of length measure |
| (range DiffPupilSizeFn LengthMeasure) | emotion.kif 1105-1105 | The range of diffence in pupil size is an instance of length measure |
| (termFormat EnglishLanguage LengthMeasure "length measure") | english_format.kif 1827-1827 | The range of diffence in pupil size is an instance of length measure |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (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 ?BTS BimetalTemperatureSensor) (instance ?M1 Metal) (instance ?M2 Metal) (not (equal ?M1 ?M2)) (part ?M1 ?BTS) (part ?M2 ?BTS) (instance ?T1 TemperatureMeasure) (instance ?T2 TemperatureMeasure) (instance ?L1 LengthMeasure) (instance ?L2 LengthMeasure) (instance ?L3 LengthMeasure) (instance ?L4 LengthMeasure) (not (equal ?T1 ?T2)) (not (equal ?TM1 ?TM2)) (holdsDuring ?TM1 (and (measure ?BTS ?T1) (measure ?M1 ?L1) (measure ?M2 ?L2))) (holdsDuring ?TM2 (and (measure ?BTS ?T2) (measure ?M1 ?L3) (measure ?M2 ?L4)))) (not (equal (DivisionFn ?L1 ?L2) (DivisionFn ?L3 ?L4)))) |
Cars.kif 3951-3983 | If All of the following hold: (1) X is an instance of bi_metal temperature sensor (2) Y is an instance of metal (3) Z is an instance of metal (4) equal Y and Z (5) Y is a part of X (6) Z is a part of X (7) W is an instance of temperature measure (8) V is an instance of temperature measure (9) U is an instance of length measure (10) T is an instance of length measure (11) S is an instance of length measure (12) R is an instance of length measure (13) equal W and V (14) equal Q and P (15) the measure of X is W, the measure of Y is U, and the measure of Z is T holds during Q (16) the measure of X is V, the measure of Y is S, and the measure of Z is R holds during P, then equal U, T, S, and R |
| consequent |
|
|
|