| 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 6104-6109 | |
| (partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) | Merge.kif 6127-6127 | |
| (subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6102-6102 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain GigaFn 1 UnitOfMeasure) | Merge.kif 6400-6400 | |
| (domain KiloFn 1 UnitOfMeasure) | Merge.kif 6372-6372 | |
| (domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6253-6253 | |
| (domain MegaFn 1 UnitOfMeasure) | Merge.kif 6386-6386 | |
| (domain MicroFn 1 UnitOfMeasure) | Merge.kif 6442-6442 | |
| (domain MilliFn 1 UnitOfMeasure) | Merge.kif 6428-6428 | |
| (domain NanoFn 1 UnitOfMeasure) | Merge.kif 6456-6456 | |
| (domain PicoFn 1 UnitOfMeasure) | Merge.kif 6471-6471 | |
| (domain SquareUnitFn 1 UnitOfMeasure) | Geography.kif 3886-3886 | |
| (domain TeraFn 1 UnitOfMeasure) | Merge.kif 6414-6414 | |
| (domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 898-898 | |
| (domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6054-6054 | |
| (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 6524-6530 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?GIGAUNIT (GigaFn ?UNIT))) (equal (MeasureFn 1 ?GIGAUNIT) (MeasureFn 1000000 (KiloFn ?UNIT)))) |
Merge.kif 6407-6411 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?KILOUNIT (KiloFn ?UNIT))) (equal (MeasureFn 1 ?KILOUNIT) (MeasureFn 1000 ?UNIT))) |
Merge.kif 6379-6383 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT))) |
Merge.kif 6393-6397 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MICROUNIT (MicroFn ?UNIT))) (equal (MeasureFn 1 ?MICROUNIT) (MeasureFn 0.000001 ?UNIT))) |
Merge.kif 6449-6453 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT))) |
Merge.kif 6435-6439 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?NANOUNIT (NanoFn ?UNIT))) (equal (MeasureFn 1 ?NANOUNIT) (MeasureFn 0.000000001 ?UNIT))) |
Merge.kif 6464-6468 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?PICOUNIT (PicoFn ?UNIT))) (equal (MeasureFn 1 ?PICOUNIT) (MeasureFn 0.000000000001 ?UNIT))) |
Merge.kif 6479-6483 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?TERAUNIT (TeraFn ?UNIT))) (equal (MeasureFn 1 ?TERAUNIT) (MeasureFn 1000000000 (KiloFn ?UNIT)))) |
Merge.kif 6421-6425 | |
| (=> (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 |
|
|
|