| UnitOfMeasure(unit of measure) | | B, Bel, British_Imperial_System, British_capacity_unit, British_system, Calorie, Ci, English_system, Erlang, G, GB, Gb, Gbit, Gi, GiB, Imperial_capacity_unit, L, Mercalli_scale, Mohs_scale, Mx, R, REM, Reaumur_scale, Richter_scale, STP, TB, TDT, TT, Tb, Tbit, TiB, United_States_Customary_System, United_States_liquid_unit, Wb, abamp, abampere, abcoulomb, abfarad, abhenry, abohm, absorbance, abvolt, abwatt, advantage, agate_line, allocation_unit, ampere, ampere-hour, ampere-minute, ampere-turn... |
| appearance as argument number 1 |
|
|
| (subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6247-6247 | Unit of measure is a subclass of physical quantity |
| (documentation UnitOfMeasure EnglishLanguage "A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrinsic property of a UnitOfMeasure that makes it primitive or fundamental, rather, a system of units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each.") | Merge.kif 6249-6254 | Unit of measure is a subclass of physical quantity |
| (partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) | Merge.kif 6272-6272 | Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?EC EngineChoke) (holdsDuring ?FSC1 (attribute ?EC DeviceOn)) (holdsDuring ?FSC2 (attribute ?EC DeviceOff)) (instance ?C EngineCylinder) (capacity ?C ?M) (instance ?FSC1 FourStrokeCompression) (instance ?FSC2 FourStrokeCompression) (eventLocated ?FSC1 ?C) (eventLocated ?FSC2 ?C) (instance ?A1 Air) (instance ?F1 Fuel) (part ?A1 ?MIX1) (part ?F1 ?MIX1) (measure ?MIX1 ?M) (instance ?A2 Air) (instance ?F2 Fuel) (part ?A2 ?MIX2) (part ?F2 ?MIX2) (measure ?MIX2 ?M) (instance ?U UnitOfMeasure) (measure ?A1 (MeasureFn ?A1M ?U)) (measure ?A2 (MeasureFn ?A2M ?U)) (measure ?F1 (MeasureFn ?F1M ?U)) (measure ?F2 (MeasureFn ?F2M ?U))) (greaterThan (DivisionFn ?A2M ?F2M) (DivisionFn ?A1M ?F1M))) |
Cars.kif 1314-1348 | If All of the following hold: (1) X is an instance of engine choke (2) device on is an attribute of X holds during Y (3) device off is an attribute of X holds during Z (4) W is an instance of engine cylinder (5) V is a capacity of W (6) Y is an instance of four stroke compression (7) Z is an instance of four stroke compression (8) Y is located at W (9) Z is located at W (10) U is an instance of air (11) T is an instance of fuel (12) U is a part of S (13) T is a part of S (14) the measure of S is V (15) R is an instance of air (16) Q is an instance of fuel (17) R is a part of P (18) Q is a part of P (19) the measure of P is V (20) O is an instance of unit of measure (21) the measure of U is N O(s) (22) the measure of R is M O(s) (23) the measure of T is L O(s) (24) the measure of Q is K O(s), then M, K is greater than N, and L |
| (=> (and (attribute ?FOOD1 FamilyStylePortion) (measure ?FOOD1 (MeasureFn ?MEAS1 ?U)) (not (attribute ?FOOD2 FamilyStylePortion)) (measure ?FOOD2 (MeasureFn ?MEAS2 ?U)) (instance ?FOOD1 ?CLASS) (instance ?FOOD2 ?CLASS) (instance ?U UnitOfMeasure)) (greaterThan ?MEAS1 ?MEAS2)) |
Dining.kif 1165-1176 | If All of the following hold: (1) family_style portions is an attribute of X (2) the measure of X is Y Z(s) (3) family_style portions is not an attribute of W (4) the measure of W is V Z(s) (5) X is an instance of U (6) W is an instance of U (7) Z is an instance of unit of measure, then Y is greater than V |
| (=> (and (instance ?M Mixture) (instance ?Z UnitOfMeasure) (mixtureRatio ?A ?B ?X ?Y ?Z) (measure ?M (MeasureFn ?T ?Z)) (part ?A ?M) (part ?B ?M) (measure ?A (MeasureFn ?X ?Z)) (measure ?B (MeasureFn ?Y ?Z))) (equal ?T (AdditionFn ?X ?Y))) |
Food.kif 1249-1263 | If All of the following hold: (1) X is an instance of mixture (2) Y is an instance of unit of measure (3) A Mixture containing Z unit Y of W and V unit Y of U (4) the measure of X is T Y(s) (5) W is a part of X (6) U is a part of X (7) the measure of W is Z Y(s) (8) the measure of U is V Y(s), then equal T and (Z and V) |
| (=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0.0)) (located ?OBJ ?ZONE)) |
Geography.kif 2314-2323 | If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is less than or equal to 0.0, then X is located at Z |
| (=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (greaterThan (SubtractionFn ?FAR ?LIMIT) 0.0)) (not (located ?OBJ ?ZONE))) |
Geography.kif 2325-2334 | If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is greater than 0.0, then X is not located at Z |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?KILOUNIT (KiloFn ?UNIT))) (equal (MeasureFn 1 ?KILOUNIT) (MeasureFn 1000 ?UNIT))) |
Merge.kif 6524-6528 | If X is an instance of unit of measure and equal Y and 1 thousand Z, then equal 1 Y(s) and 1000 X(s) |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT))) |
Merge.kif 6538-6542 | If X is an instance of unit of measure and equal Y and 1 million Z, then equal 1 Y(s) and 1000000 X(s) |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?GIGAUNIT (GigaFn ?UNIT))) (equal (MeasureFn 1 ?GIGAUNIT) (MeasureFn 1000000 (KiloFn ?UNIT)))) |
Merge.kif 6552-6556 | If X is an instance of unit of measure and equal Y and 1 billion Z, then equal 1 Y(s) and 1000000 1 thousand Z(s) |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?TERAUNIT (TeraFn ?UNIT))) (equal (MeasureFn 1 ?TERAUNIT) (MeasureFn 1000000000 (KiloFn ?UNIT)))) |
Merge.kif 6566-6570 | If X is an instance of unit of measure and equal Y and 1 trillion Z, then equal 1 Y(s) and 1000000000 1 thousand Z(s) |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT))) |
Merge.kif 6580-6584 | If X is an instance of unit of measure and equal Y and one thousandth of a X, then equal 1 Y(s) and 0.001 X(s) |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MICROUNIT (MicroFn ?UNIT))) (equal (MeasureFn 1 ?MICROUNIT) (MeasureFn 0.000001 ?UNIT))) |
Merge.kif 6594-6598 | If X is an instance of unit of measure and equal Y and one millionth of a X, then equal 1 Y(s) and 0.000001 X(s) |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?NANOUNIT (NanoFn ?UNIT))) (equal (MeasureFn 1 ?NANOUNIT) (MeasureFn 0.000000001 ?UNIT))) |
Merge.kif 6609-6613 | If X is an instance of unit of measure and equal Y and one billionth of a X, then equal 1 Y(s) and 0.000000001 X(s) |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?PICOUNIT (PicoFn ?UNIT))) (equal (MeasureFn 1 ?PICOUNIT) (MeasureFn 0.000000000001 ?UNIT))) |
Merge.kif 6624-6628 | If X is an instance of unit of measure and equal Y and one trillionth of a X, then equal 1 Y(s) and 0.000000000001 X(s) |
| (=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6669-6675 | If X is an instance of physical quantity, Y is an instance of unit of measure, and equal X and Z Y(s), then equal the unit of X and Y |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?SQUAREUNIT (SquareUnitFn ?UNIT))) (exists (?NUM) (and (instance ?NUM RealNumber) (equal (MeasureFn ?NUM ?SQUAREUNIT) (MeasureFn (MultiplicationFn ?NUM ?NUM) ?UNIT))))) |
Mid-level-ontology.kif 15099-15110 | If X is an instance of unit of measure and equal Y and the square unit of X, then there exists Z such that Z is an instance of real number and equal Z Y(s) and Z and Z X(s) |
| (=> (and (instance ?W Wind) (instance ?BN BeaufortNumberAttribute) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN)) (speedScaleAttributeMinMax ?BN (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?SPEED) (and (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED ?U)))))) |
Weather.kif 337-354 | If All of the following hold: (1) X is an instance of wind (2) Y is an instance of Beaufort number attribute (3) X is located at Z (4) W believes X the attribute Y (5) V U(s) and T U(s) are the min and max speed of Y (6) U is an instance of unit of measure, then there exists S such that S is greater than or equal to V and S is less than or equal to T and W believes S U(s) is a surface wind speed of Z |
| (=> (and (speedScaleAttributeMinMax ?ATTR (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?X ?SPEED) (and (instance ?X Motion) (property ?X ?ATTR) (measure ?X (MeasureFn ?SPEED ?U)) (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX)))) |
Weather.kif 3441-3454 | If X Y(s) and Z Y(s) are the min and max speed of W and Y is an instance of unit of measure, then there exist V and U such that V is an instance of motion and V the attribute W and the measure of V is U Y(s) and U is greater than or equal to X and U is less than or equal to Z |
| (=> (and (instance ?H Hurricane) (instance ?SS SSHWSAttribute) (eventLocated ?H ?AREA) (believes ?A (property ?H ?SS)) (speedScaleAttributeMinMax ?SS (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?WIND) (and (greaterThanOrEqualTo ?WIND ?MIN) (lessThanOrEqualTo ?WIND ?MAX) (believes ?A (equal (MeasureFn ?WIND ?U) (Mean1MinuteWindSpeedFn ?AREA (WhenFn ?H))))))) |
Weather.kif 3676-3695 | If All of the following hold: (1) X is an instance of hurricane (2) Y is an instance of Saffir Simpson Hurrican wind scale (3) X is located at Z (4) W believes X the attribute Y (5) V U(s) and T U(s) are the min and max speed of Y (6) U is an instance of unit of measure, then there exists S such that S is greater than or equal to V and S is less than or equal to T and W believes equal S U(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Z |
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure)) (not (exists (?Observe ?A ?B ?D2) (and (instance ?Observe Looking) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (during (WhenFn ?Observe) ?Time) (eventLocated ?Observe ?Area) (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?D2 ?Distance))))) |
Weather.kif 4020-4037 | If the visibility at X during Y is Z W(s) and W is an instance of unit of measure, then there don't exist V, U,, , T and S such that V is an instance of looking and U is an agent of V and T is a patient of V and U is horizontal to to T and the time of existence of V takes place during Y and V is located at X and the distance between U and T is S W(s) and S is greater than Z |
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure) (instance ?Time DayTime) (instance ?Observe Looking) (instance ?B Object) (color ?B Black) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (exists (?D2) (and (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?Distance ?D2)))) |
Weather.kif 4039-4059 | If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of day time (4) V is an instance of looking (5) U is an instance of object (6) U is the color black (7) T is an agent of V (8) U is a patient of V (9) T is horizontal to to U (10) V is located at X (11) the time of existence of V takes place during Y (12) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S |
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000.0 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (exists (?D2) (and (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?Distance ?D2)))) |
Weather.kif 4061-4082 | If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of night time (4) V is an instance of looking (5) U is an instance of region (6) illuminated is an attribute of U (7) the measure of U is 1000.0 candela(s) (8) T is an agent of V (9) U is a patient of V (10) T is horizontal to to U (11) V is located at X (12) the time of existence of V takes place during Y (13) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S |
| consequent |
|
|
|
|
|