| UnitOfMeasure | |
| appearance as argument number 1 |
|
|
| (documentation UnitOfMeasure ChineseLanguage "这是某些量䋞的量度标准。例如：Meter 和 Inch 是长度的 UnitOfMeasure。UnitOfMeasure 没有令它原始和基本的固有性质, 反而一个单位制(例如： SystemeInternationalUnit)可决定一组的正交维度，并给每一个维度分配单位。") | chinese_format.kif 2394-2396 | |
| (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 6110-6115 | |
| (partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) | Merge.kif 6133-6133 | |
| (subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6108-6108 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain GigaFn 1 UnitOfMeasure) | Merge.kif 6406-6406 | |
| (domain KiloFn 1 UnitOfMeasure) | Merge.kif 6378-6378 | |
| (domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6259-6259 | |
| (domain MegaFn 1 UnitOfMeasure) | Merge.kif 6392-6392 | |
| (domain MicroFn 1 UnitOfMeasure) | Merge.kif 6448-6448 | |
| (domain MilliFn 1 UnitOfMeasure) | Merge.kif 6434-6434 | |
| (domain NanoFn 1 UnitOfMeasure) | Merge.kif 6462-6462 | |
| (domain PicoFn 1 UnitOfMeasure) | Merge.kif 6477-6477 | |
| (domain SquareUnitFn 1 UnitOfMeasure) | Geography.kif 3886-3886 | |
| (domain TeraFn 1 UnitOfMeasure) | Merge.kif 6420-6420 | |
| (domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 898-898 | |
| (domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6060-6060 | |
| (domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 838-838 |
| antecedent |
|
|
| (=> (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 1118-1129 | |
| (=> (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 | |
| (=> (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 2364-2383 | |
| (=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6530-6536 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?GIGAUNIT (GigaFn ?UNIT))) (equal (MeasureFn 1 ?GIGAUNIT) (MeasureFn 1000000 (KiloFn ?UNIT)))) |
Merge.kif 6413-6417 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?KILOUNIT (KiloFn ?UNIT))) (equal (MeasureFn 1 ?KILOUNIT) (MeasureFn 1000 ?UNIT))) |
Merge.kif 6385-6389 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT))) |
Merge.kif 6399-6403 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MICROUNIT (MicroFn ?UNIT))) (equal (MeasureFn 1 ?MICROUNIT) (MeasureFn 0.000001 ?UNIT))) |
Merge.kif 6455-6459 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT))) |
Merge.kif 6441-6445 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?NANOUNIT (NanoFn ?UNIT))) (equal (MeasureFn 1 ?NANOUNIT) (MeasureFn 0.000000001 ?UNIT))) |
Merge.kif 6470-6474 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?PICOUNIT (PicoFn ?UNIT))) (equal (MeasureFn 1 ?PICOUNIT) (MeasureFn 0.000000000001 ?UNIT))) |
Merge.kif 6485-6489 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?TERAUNIT (TeraFn ?UNIT))) (equal (MeasureFn 1 ?TERAUNIT) (MeasureFn 1000000000 (KiloFn ?UNIT)))) |
Merge.kif 6427-6431 | |
| (=> (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 349-366 | |
| (=> (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 870-879 | |
| (=> (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 859-868 | |
| (=> (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 2129-2142 | |
| (=> (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 2727-2747 | |
| (=> (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 2749-2770 | |
| (=> (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 2708-2725 |
| consequent |
|
|
| (=> (and (immediateInstance ?BIG ?CLASS) (immediateInstance ?NORMAL ?CLASS) (attribute ?BIG Oversized)) (exists (?BIGSIZE ?NORMALSIZE ?U) (and (instance ?U UnitOfMeasure) (measure ?BIG (MeasureFn ?BIGSIZE ?U)) (measure ?NORMAL (MeasureFn ?NORMALSIZE ?U)) (greaterThan ?BIGSIZE ?NORMALSIZE)))) |
Hotel.kif 1150-1162 | |
| (=> (codeMapping ISO-4217-A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2277-2282 |
|
|
|