|
|
   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 6201-6206 | |
| (documentation UnitOfMeasure JapaneseLanguage "ある寸法の測定基準。 例えば、Meter は Inch と同様に、長さの次元の UnitOfMeasure である。UnitOfMeasure の本質的な性質は存在せず、むしろ 単位のシステム(例：SystemeInternationalUnit)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。") | japanese_format.kif 1074-1077 | |
| (partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) | Merge.kif 6224-6224 | |
| (subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6199-6199 |
| appearance as argument number 2 |
|
|
| (instance Rad UnitOfMeasure) | MilitaryProcesses.kif 853-853 | |
| (instance RevolutionsPerMinute UnitOfMeasure) | Cars.kif 2076-2076 | |
| (range GigaFn UnitOfMeasure) | Merge.kif 6498-6498 | |
| (range KiloFn UnitOfMeasure) | Merge.kif 6470-6470 | |
| (range MegaFn UnitOfMeasure) | Merge.kif 6484-6484 | |
| (range MicroFn UnitOfMeasure) | Merge.kif 6540-6540 | |
| (range MilliFn UnitOfMeasure) | Merge.kif 6526-6526 | |
| (range NanoFn UnitOfMeasure) | Merge.kif 6554-6554 | |
| (range PicoFn UnitOfMeasure) | Merge.kif 6569-6569 | |
| (range SquareUnitFn UnitOfMeasure) | Geography.kif 3965-3965 | |
| (range TeraFn UnitOfMeasure) | Merge.kif 6512-6512 | |
| (range UnitFn UnitOfMeasure) | Merge.kif 6613-6613 | |
| (subclass AcidityMeasure UnitOfMeasure) | Mid-level-ontology.kif 9895-9895 | |
| (subclass CompositeUnitOfMeasure UnitOfMeasure) | Merge.kif 6208-6208 | |
| (subclass NonCompositeUnitOfMeasure UnitOfMeasure) | Merge.kif 6216-6216 | |
| (subclass SoundPressureLevelUnit UnitOfMeasure) | Merge.kif 7450-7450 | |
| (subclass SystemeInternationalUnit UnitOfMeasure) | Merge.kif 6238-6238 | |
| (termFormat ChineseLanguage UnitOfMeasure "测量单位") | chinese_format.kif 1301-1301 | |
| (termFormat EnglishLanguage UnitOfMeasure "unit of measure") | english_format.kif 1819-1819 | |
| (termFormat FrenchLanguage UnitOfMeasure "unit� de mesure") | french_format.kif 979-979 | |
| (termFormat Hindi UnitOfMeasure "maapaka ikaaI") | terms-hindi.txt 514-514 | |
| (termFormat ItalianLanguage UnitOfMeasure "Unit�DiMisura") | terms-it.txt 518-518 | |
| (termFormat JapaneseLanguage UnitOfMeasure "測定単位") | japanese_format.kif 2663-2663 | |
| (termFormat PortugueseLanguage UnitOfMeasure "Unidade de Medida") | portuguese_format.kif 931-931 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain GigaFn 1 UnitOfMeasure) | Merge.kif 6497-6497 | |
| (domain KiloFn 1 UnitOfMeasure) | Merge.kif 6469-6469 | |
| (domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6350-6350 | |
| (domain MegaFn 1 UnitOfMeasure) | Merge.kif 6483-6483 | |
| (domain MicroFn 1 UnitOfMeasure) | Merge.kif 6539-6539 | |
| (domain MilliFn 1 UnitOfMeasure) | Merge.kif 6525-6525 | |
| (domain NanoFn 1 UnitOfMeasure) | Merge.kif 6553-6553 | |
| (domain PicoFn 1 UnitOfMeasure) | Merge.kif 6568-6568 | |
| (domain SquareUnitFn 1 UnitOfMeasure) | Geography.kif 3964-3964 | |
| (domain TeraFn 1 UnitOfMeasure) | Merge.kif 6511-6511 | |
| (domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 900-900 | |
| (domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6151-6151 | |
| (domain mixtureRatio 5 UnitOfMeasure) | Food.kif 1245-1245 | |
| (domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 840-840 |
| 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 1165-1176 | |
| (=> (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 2348-2367 | |
| (=> (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 1248-1262 | |
| (=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6621-6627 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?GIGAUNIT (GigaFn ?UNIT))) (equal (MeasureFn 1 ?GIGAUNIT) (MeasureFn 1000000 (KiloFn ?UNIT)))) |
Merge.kif 6504-6508 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?KILOUNIT (KiloFn ?UNIT))) (equal (MeasureFn 1 ?KILOUNIT) (MeasureFn 1000 ?UNIT))) |
Merge.kif 6476-6480 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT))) |
Merge.kif 6490-6494 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MICROUNIT (MicroFn ?UNIT))) (equal (MeasureFn 1 ?MICROUNIT) (MeasureFn 0.000001 ?UNIT))) |
Merge.kif 6546-6550 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT))) |
Merge.kif 6532-6536 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?NANOUNIT (NanoFn ?UNIT))) (equal (MeasureFn 1 ?NANOUNIT) (MeasureFn 0.000000001 ?UNIT))) |
Merge.kif 6561-6565 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?PICOUNIT (PicoFn ?UNIT))) (equal (MeasureFn 1 ?PICOUNIT) (MeasureFn 0.000000000001 ?UNIT))) |
Merge.kif 6576-6580 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?TERAUNIT (TeraFn ?UNIT))) (equal (MeasureFn 1 ?TERAUNIT) (MeasureFn 1000000000 (KiloFn ?UNIT)))) |
Merge.kif 6518-6522 | |
| (=> (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 | |
| (=> (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 863-872 | |
| (=> (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 852-861 | |
| (=> (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 2113-2126 | |
| (=> (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 2711-2731 | |
| (=> (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 2733-2754 | |
| (=> (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 2692-2709 |
| 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 1172-1184 | |
| (=> (codeMapping ISO-4217-A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2286-2291 |
|
|
|