Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| s__subclass(s__UnitOfMeasure,s__PhysicalQuantity)
|
Merge.kif 6317-6317 | Unit of measure is a subclass of physical quantity |
| s__documentation(s__UnitOfMeasure, s__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 6319-6324 | Unit of measure is a subclass of physical quantity |
| s__partition(s__UnitOfMeasure,s__CompositeUnitOfMeasure,s__NonCompositeUnitOfMeasure)
|
Merge.kif 6342-6342 | 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 |
|
|
| ! [V__KILOUNIT,V__UNIT] : ((s__instance(V__KILOUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__KILOUNIT = s__KiloFn(V__UNIT))) => (s__MeasureFn(n__1,V__KILOUNIT) = s__MeasureFn(n__1000,V__UNIT)))) )
|
Merge.kif 6594-6598 | 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) |
| ! [V__MEGAUNIT,V__UNIT] : ((s__instance(V__MEGAUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__MEGAUNIT = s__MegaFn(V__UNIT))) => (s__MeasureFn(n__1,V__MEGAUNIT) = s__MeasureFn(n__1000000,V__UNIT)))) )
|
Merge.kif 6608-6612 | 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) |
| ! [V__GIGAUNIT,V__UNIT] : ((s__instance(V__GIGAUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__GIGAUNIT = s__GigaFn(V__UNIT))) => (s__MeasureFn(n__1,V__GIGAUNIT) = s__MeasureFn(n__1000000,s__KiloFn(V__UNIT))))) )
|
Merge.kif 6622-6626 | 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) |
| ! [V__TERAUNIT,V__UNIT] : ((s__instance(V__TERAUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__TERAUNIT = s__TeraFn(V__UNIT))) => (s__MeasureFn(n__1,V__TERAUNIT) = s__MeasureFn(n__1000000000,s__KiloFn(V__UNIT))))) )
|
Merge.kif 6636-6640 | 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) |
| ! [V__MILLIUNIT,V__UNIT] : ((s__instance(V__MILLIUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__MILLIUNIT = s__MilliFn(V__UNIT))) => (s__MeasureFn(n__1,V__MILLIUNIT) = s__MeasureFn(n__0_001,V__UNIT)))) )
|
Merge.kif 6650-6654 | 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) |
| ! [V__MICROUNIT,V__UNIT] : ((s__instance(V__MICROUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__MICROUNIT = s__MicroFn(V__UNIT))) => (s__MeasureFn(n__1,V__MICROUNIT) = s__MeasureFn(n__0_000001,V__UNIT)))) )
|
Merge.kif 6664-6668 | 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) |
| ! [V__NANOUNIT,V__UNIT] : ((s__instance(V__NANOUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__NANOUNIT = s__NanoFn(V__UNIT))) => (s__MeasureFn(n__1,V__NANOUNIT) = s__MeasureFn(n__0_000000001,V__UNIT)))) )
|
Merge.kif 6679-6683 | 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) |
| ! [V__PICOUNIT,V__UNIT] : ((s__instance(V__PICOUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__PICOUNIT = s__PicoFn(V__UNIT))) => (s__MeasureFn(n__1,V__PICOUNIT) = s__MeasureFn(n__0_000000000001,V__UNIT)))) )
|
Merge.kif 6694-6698 | 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) |
| ! [V__NUMBER,V__QUANT,V__UNIT] : ((s__instance(V__NUMBER,s__RealNumber) => ((s__instance(V__QUANT,s__PhysicalQuantity) & s__instance(V__UNIT,s__UnitOfMeasure) & (V__QUANT = s__MeasureFn(V__NUMBER,V__UNIT))) => (s__UnitFn(V__QUANT) = V__UNIT))) )
|
Merge.kif 6739-6745 | 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 |
| ! [V__SQUAREUNIT,V__UNIT] : ((s__instance(V__SQUAREUNIT,s__UnitOfMeasure) => ((s__instance(V__UNIT,s__UnitOfMeasure) & (V__SQUAREUNIT = s__SquareUnitFn(V__UNIT))) => (? [V__NUM] : ((s__instance(V__NUM,s__RealNumber) & (s__MeasureFn(V__NUM,V__SQUAREUNIT) = s__MeasureFn(s__MultiplicationFn(V__NUM,V__NUM) ,V__UNIT))))))) )
|
Mid-level-ontology.kif 15195-15206 | 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) |
| ! [V__A1 : $i,V__A1M : $real,V__A2 : $i,V__A2M : $real,V__C : $i,V__EC : $i,V__F1 : $i,V__F1M : $real,V__F2 : $i,V__F2M : $real,V__FSC1 : $i,V__FSC2 : $i,V__M : $i,V__MIX1 : $i,V__MIX2 : $i,V__U : $i] : (((s__instance(V__EC, s__EngineChoke) & s__holdsDuring(V__FSC1, s__attribute(V__EC, s__DeviceOn)) & s__holdsDuring(V__FSC2, s__attribute(V__EC, s__DeviceOff)) & s__instance(V__C, s__EngineCylinder) & s__capacity(V__C, V__M) & s__instance(V__FSC1, s__FourStrokeCompression) & s__instance(V__FSC2, s__FourStrokeCompression) & s__eventLocated(V__FSC1, V__C) & s__eventLocated(V__FSC2, V__C) & s__instance(V__A1, s__Air) & s__instance(V__F1, s__Fuel) & s__part(V__A1, V__MIX1) & s__part(V__F1, V__MIX1) & s__measure(V__MIX1, V__M) & s__instance(V__A2, s__Air) & s__instance(V__F2, s__Fuel) & s__part(V__A2, V__MIX2) & s__part(V__F2, V__MIX2) & s__measure(V__MIX2, V__M) & s__instance(V__U, s__UnitOfMeasure) & s__measure(V__A1, s__MeasureFn(V__A1M, V__U)) & s__measure(V__A2, s__MeasureFn(V__A2M, V__U)) & s__measure(V__F1, s__MeasureFn(V__F1M, V__U)) & s__measure(V__F2, s__MeasureFn(V__F2M, V__U))) => ($greater(s__DivisionFn(V__A2M, V__F2M),s__DivisionFn(V__A1M, V__F1M))))) | Cars.kif 1253-1287 | 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 |
| ! [V__FOOD1,V__MEAS1,V__FOOD2,V__MEAS2,V__CLASS,V__U] : (((s__instance(V__FOOD1,s__Object) & s__instance(V__MEAS1,s__RealNumber) & s__instance(V__FOOD2,s__Object) & s__instance(V__MEAS2,s__RealNumber) & s__instance(V__CLASS,s__Class)) => ((s__attribute(V__FOOD1,s__FamilyStylePortion) & s__measure(V__FOOD1,s__MeasureFn(V__MEAS1,V__U)) & ~(s__attribute(V__FOOD2,s__FamilyStylePortion)) & s__measure(V__FOOD2,s__MeasureFn(V__MEAS2,V__U)) & s__instance(V__FOOD1,V__CLASS) & s__instance(V__FOOD2,V__CLASS) & s__instance(V__U,s__UnitOfMeasure)) => s__greaterThan(V__MEAS1,V__MEAS2))) )
|
Dining.kif 1168-1179 | 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 |
| ! [V__A,V__B,V__X,V__Y,V__T,V__M,V__Z] : (((s__instance(V__A,s__Substance) & s__instance(V__B,s__Substance) & s__instance(V__X,s__RealNumber) & s__instance(V__Y,s__RealNumber) & s__instance(V__T,s__RealNumber)) => ((s__instance(V__M,s__Mixture) & s__instance(V__Z,s__UnitOfMeasure) & s__mixtureRatio(V__A,V__B,V__X,V__Y,V__Z) & s__measure(V__M,s__MeasureFn(V__T,V__Z)) & s__part(V__A,V__M) & s__part(V__B,V__M) & s__measure(V__A,s__MeasureFn(V__X,V__Z)) & s__measure(V__B,s__MeasureFn(V__Y,V__Z))) => (V__T = s__AdditionFn(V__X,V__Y)))) )
|
Food.kif 1227-1241 | 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) |
| ! [V__OBJ,V__REGION,V__LIMIT,V__FAR,V__ZONE,V__UNIT] : (((s__instance(V__OBJ,s__Object) & s__instance(V__REGION,s__Region) & s__instance(V__LIMIT,s__RealNumber) & s__instance(V__FAR,s__RealNumber)) => ((s__orientation(V__OBJ,V__REGION,s__Outside) & s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION)) & s__instance(V__ZONE,s__UniformPerimeterArea) & s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT)) & s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT)) & s__instance(V__UNIT,s__UnitOfMeasure) & s__lessThanOrEqualTo(s__SubtractionFn(V__FAR,V__LIMIT) ,n__0_0)) => s__located(V__OBJ,V__ZONE))) )
|
Geography.kif 2310-2319 | 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 |
| ! [V__OBJ,V__REGION,V__LIMIT,V__FAR,V__ZONE,V__UNIT] : (((s__instance(V__OBJ,s__Object) & s__instance(V__REGION,s__Region) & s__instance(V__LIMIT,s__RealNumber) & s__instance(V__FAR,s__RealNumber)) => ((s__orientation(V__OBJ,V__REGION,s__Outside) & s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION)) & s__instance(V__ZONE,s__UniformPerimeterArea) & s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT)) & s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT)) & s__instance(V__UNIT,s__UnitOfMeasure) & s__greaterThan(s__SubtractionFn(V__FAR,V__LIMIT) ,n__0_0)) => ~(s__located(V__OBJ,V__ZONE)))) )
|
Geography.kif 2321-2330 | 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 |
| ! [V__A : $i,V__AREA : $i,V__BN : $i,V__MAX : $real,V__MIN : $real,V__U : $i,V__W : $i] : (((s__instance(V__W, s__Wind) & s__instance(V__BN, s__BeaufortNumberAttribute) & s__eventLocated(V__W, V__AREA) & s__believes(V__A, s__property(V__W, V__BN)) & s__speedScaleAttributeMinMax(V__BN, s__MeasureFn(V__MIN, V__U), s__MeasureFn(V__MAX, V__U)) & s__instance(V__U, s__UnitOfMeasure)) => ( ? [V__SPEED:$real] : ((($greatereq(V__SPEED,V__MIN)) & ($lesseq(V__SPEED,V__MAX)) & s__believes(V__A, s__surfaceWindSpeed(V__AREA, s__MeasureFn(V__SPEED, V__U)))))))) | Weather.kif 321-338 | 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 |
| ! [V__ATTR,V__MIN,V__MAX,V__U] : (((s__instance(V__ATTR,s__SpeedScaleAttribute) & s__instance(V__MIN,s__RealNumber) & s__instance(V__MAX,s__RealNumber)) => ((s__speedScaleAttributeMinMax(V__ATTR,s__MeasureFn(V__MIN,V__U) ,s__MeasureFn(V__MAX,V__U)) & s__instance(V__U,s__UnitOfMeasure)) => (? [V__X,V__SPEED] : ((s__instance(V__SPEED,s__RealNumber) & (s__instance(V__X,s__Motion) & s__property(V__X,V__ATTR) & s__measure(V__X,s__MeasureFn(V__SPEED,V__U)) & s__greaterThanOrEqualTo(V__SPEED,V__MIN) & s__lessThanOrEqualTo(V__SPEED,V__MAX))))))) )
|
Weather.kif 3397-3410 | 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 |
| ! [V__A : $i,V__AREA : $i,V__H : $i,V__MAX : $real,V__MIN : $real,V__SS : $i,V__U : $i] : (((s__instance(V__H, s__Hurricane) & s__instance(V__SS, s__SSHWSAttribute) & s__eventLocated(V__H, V__AREA) & s__believes(V__A, s__property(V__H, V__SS)) & s__speedScaleAttributeMinMax(V__SS, s__MeasureFn(V__MIN, V__U), s__MeasureFn(V__MAX, V__U)) & s__instance(V__U, s__UnitOfMeasure)) => ( ? [V__WIND:$real] : ((($greatereq(V__WIND,V__MIN)) & ($lesseq(V__WIND,V__MAX)) & s__believes(V__A, s__MeasureFn(V__WIND, V__U) = s__Mean1MinuteWindSpeedFn(V__AREA, s__WhenFn(V__H)))))))) | Weather.kif 3632-3651 | 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 |
| ! [V__Area,V__Time,V__Distance,V__U] : (((s__instance(V__Area,s__Region) & s__instance(V__Time,s__TimeInterval) & s__instance(V__Distance,s__RealNumber)) => ((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U)) & s__instance(V__U,s__UnitOfMeasure)) => ~((? [V__Observe,V__A,V__B,V__D2] : ((s__instance(V__A,s__AutonomousAgent) & s__instance(V__B,s__Object) & s__instance(V__D2,s__RealNumber) & (s__instance(V__Observe,s__Looking) & s__agent(V__Observe,V__A) & s__patient(V__Observe,V__B) & s__orientation(V__A,V__B,s__Horizontal) & s__during(s__WhenFn(V__Observe) ,V__Time) & s__eventLocated(V__Observe,V__Area) & s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U)) & s__greaterThan(V__D2,V__Distance)))))))) )
|
Weather.kif 3976-3993 | 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 |
| ! [V__Area,V__Distance,V__A,V__Time,V__U,V__Observe,V__B] : (((s__instance(V__Area,s__Region) & s__instance(V__Distance,s__RealNumber) & s__instance(V__A,s__AutonomousAgent)) => ((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U)) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__Time,s__DayTime) & s__instance(V__Observe,s__Looking) & s__instance(V__B,s__Object) & s__color(V__B,s__Black) & s__agent(V__Observe,V__A) & s__patient(V__Observe,V__B) & s__orientation(V__A,V__B,s__Horizontal) & s__eventLocated(V__Observe,V__Area) & s__during(s__WhenFn(V__Observe) ,V__Time) & s__instance(V__B,s__Object)) => (? [V__D2] : ((s__instance(V__D2,s__RealNumber) & (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U)) & s__greaterThan(V__Distance,V__D2))))))) )
|
Weather.kif 3995-4015 | 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 |
| ! [V__Area,V__Distance,V__A,V__Time,V__U,V__Observe,V__B] : (((s__instance(V__Area,s__Region) & s__instance(V__Distance,s__RealNumber) & s__instance(V__A,s__AutonomousAgent)) => ((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U)) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__Time,s__NightTime) & s__instance(V__Observe,s__Looking) & s__instance(V__B,s__Region) & s__attribute(V__B,s__Illuminated) & s__measure(V__B,s__MeasureFn(n__1000_0,s__Candela)) & s__agent(V__Observe,V__A) & s__patient(V__Observe,V__B) & s__orientation(V__A,V__B,s__Horizontal) & s__eventLocated(V__Observe,V__Area) & s__during(s__WhenFn(V__Observe) ,V__Time) & s__instance(V__B,s__Object)) => (? [V__D2] : ((s__instance(V__D2,s__RealNumber) & (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U)) & s__greaterThan(V__Distance,V__D2))))))) )
|
Weather.kif 4017-4038 | 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 |
|
|
|