| appearance as argument number 1 |
|
| (documentation MeasureFn ChineseLanguage "这个 BinaryFunction 把一个 RealNumber 和一个 UnitOfMeasure 联系成这个 Number 的单位。 这是用来表达 PhysicalQuantity 的某种分量的实例。 例如：三米可以这样来表示 (MeasureFn 3Meter)。") | chinese_format.kif 2434-2436 | |
| (documentation MeasureFn EnglishLanguage "This BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used to express `measured' instances of PhysicalQuantity. Example: the concept of three meters is represented as (MeasureFn 3 Meter).") | Merge.kif 6037-6041 | |
| (domain MeasureFn 1 RealNumber) | Merge.kif 6033-6033 | 计量函数 的 1 数量 是 实数 的 instance |
| (domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6034-6034 | 计量函数 的 2 数量 是 测量单位 的 instance |
| (instance MeasureFn BinaryFunction) | Merge.kif 6031-6031 | 计量函数 是 二元函数 的 instance |
| (instance MeasureFn TotalValuedRelation) | Merge.kif 6032-6032 | 计量函数 是 总值关系 的 instance |
| (range MeasureFn PhysicalQuantity) | Merge.kif 6035-6035 | 计量函数 的 range 是 物理量 的实例 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MeasureFn "%1 %2") | chinese_format.kif 633-633 | |
| (format EnglishLanguage MeasureFn "%1 %2(s)") | english_format.kif 639-639 | |
| (termFormat ChineseLanguage MeasureFn "测量") | domainEnglishFormat.kif 36586-36586 | |
| (termFormat ChineseLanguage MeasureFn "计量函数") | chinese_format.kif 634-634 | |
| (termFormat ChineseTraditionalLanguage MeasureFn "測量") | domainEnglishFormat.kif 36585-36585 | |
| (termFormat EnglishLanguage MeasureFn "measure") | domainEnglishFormat.kif 36584-36584 |
| antecedent |
|
|
| consequent |
|
|
| (<=> (and (instance ?UNIT UnitOfMeasure) (equal ?AMOUNT (MeasureFn 1 (SquareUnitFn ?UNIT)))) (equal ?AMOUNT (MultiplicationFn (MeasureFn 1 ?UNIT) (MeasureFn 1 ?UNIT)))) |
Geography.kif 3761-3765 | 测量单位 是 测量单位 的 instance 和 物理量 equal 1 那个 测量单位 的 square 单位 若且唯若 那个 物理量 equal 1 那个 测量单位 和 1 那个 测量单位 |
| (<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury))))) |
Weather.kif 1400-1410 | 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring |
| (<=> (attribute ?WATER OpenSea) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER ?DIST) (greaterThan ?DIST (MeasureFn 5 NauticalMile)))) |
Geography.kif 4421-4429 | 公海 是 客体 的 attribute 若且唯若 那个 客体 是 盐水区 的 instance 和 那个 客体 不 是 内陆水域 的 instance 和 物理 和 那个 客体 的 distance 是 长度测量 和 那个 长度测量 是 greaterThan 5 海里 |
| (<=> (compressionRatio ?E ?R) (and (minCylinderVolume ?E (MeasureFn ?MIN ?M)) (maxCylinderVolume ?E (MeasureFn ?MAX ?M)) (equal ?R (DivisionFn ?MIN ?MAX)))) |
Cars.kif 1918-1923 | compressionRatio 发动机 and 实数 若且唯若 minCylinderVolume 那个 发动机 and 另一个 实数 测量单位 和 maxCylinderVolume 那个 发动机 and 那个 测量单位AX 那个 测量单位 和 那个 实数 equal 那个 另外 实数 和 那个 测量单位AX |
| (<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 253-277 | 地缘政治区域 和 整数 year 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 数量 和 第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数 和 那个 数量 equal 那个 实数 |
| (<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 411-442 | 地缘政治区域 和 整数 year 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 323-353 | 地缘政治区域 和 整数 year 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 367-398 | 地缘政治区域 和 整数 year 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2 ?UNIT) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 ?UNIT)) (measure ?OBJ2 (MeasureFn ?QUANT2 ?UNIT)) (instance ?UNIT UnitOfLength)) (greaterThan ?QUANT1 ?QUANT2)))) |
Merge.kif 7358-7366 | 客体 larger 另一个 客体 若且唯若 对所有 实数， 另一个 实数， and 和 测量单位 |
| (<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205) PoundMass))) |
Mid-level-ontology.kif 11230-11236 | 客体 的 measure 是 实数 公吨 若且唯若 那个 客体 的 measure 是 那个 实数 和 2205 磅质量 |
| (<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60 ?DEG) ArcMinute))) |
Geography.kif 378-380 | 客体 的 measure 是 实数 圆周角度 若且唯若 那个 客体 的 measure 是 60 和 那个 实数 弧分 |
| (<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60 ?DEG) ArcSecond))) |
Geography.kif 397-399 | 客体 的 measure 是 实数 弧分 若且唯若 那个 客体 的 measure 是 60 和 那个 实数 弧秒 |
| (<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16) PoundMass))) |
Mid-level-ontology.kif 10970-10975 | 客体 的 measure 是 实数 OunceMass 若且唯若 那个 客体 的 measure 是 那个 实数 和 16 磅质量 |
| (=> (and (Process ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4 (StandardDeviationFn ?LIST)))))) |
Weather.kif 1131-1145 | |
| (=> (and (arableLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?ARABLE) (and (instance ?ARABLE ArableLand) (geographicSubregion ?ARABLE ?REGION) (measure ?ARABLE (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2049-2059 |
|
| (=> (and (attribute ?P CollegeFreshman) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (lessThan ?T (MeasureFn 1 YearDuration))))) |
Mid-level-ontology.kif 16425-16433 | |
| (=> (and (attribute ?P CollegeJunior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 2 YearDuration)) (lessThan ?T (MeasureFn 3 YearDuration))))) |
Mid-level-ontology.kif 16439-16450 | |
| (=> (and (attribute ?P CollegeSenior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 3 YearDuration)) (lessThan ?T (MeasureFn 4 YearDuration))))) |
Mid-level-ontology.kif 16456-16467 | |
| (=> (and (attribute ?P CollegeSophomore) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 1 YearDuration)) (lessThan ?T (MeasureFn 2 YearDuration))))) |
Mid-level-ontology.kif 16473-16484 | |
| (=> (and (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) (instance ?UNIT UnitOfArea) (measure ?REGION1 (MeasureFn ?NUM1 ?UNIT)) (measure ?REGION2 (MeasureFn ?NUM2 ?UNIT))) (?RELATION (MeasureFn ?NUM1 ?UNIT) (MeasureFn (MultiplicationFn ?FACTOR ?NUM2) ?UNIT))) |
Geography.kif 658-668 |
|
| (=> (and (currentAccountBalance ?Account ?Date (MeasureFn ?Balance UnitedStatesDollar)) (lessThan ?Balance 0) (equal ?Overdraft (SubtractionFn 0 ?Balance))) (overdraft ?Account (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 732-737 | |
| (=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 11162-11171 | |
| (=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT1)) (subclass ?UNITCLASS NonCompositeUnitOfMeasure) (instance ?UNIT1 ?UNITCLASS)) (modalAttribute (exists (?INST ?QUANTITY ?UNIT2) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT2)) (instance ?UNIT2 ?UNITCLASS) (greaterThan (MeasureFn ?QUANTITY ?UNIT2) (MeasureFn ?Q ?UNIT1)))) Unlikely)) |
Mid-level-ontology.kif 11172-11183 |
|
| (=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY (MultiplicationFn ?Q 1.5)))) Unlikely)) |
Mid-level-ontology.kif 11191-11200 | |
| (=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY (MultiplicationFn ?Q .5)))) Unlikely)) |
Mid-level-ontology.kif 11202-11211 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (boilingPoint Actinium (MeasureFn 3470 KelvinDegree)) |
Mid-level-ontology.kif 27541-27541 | 3470 凯文度 是 锕 的 boiling 点 |
| (boilingPoint Aluminum (MeasureFn 2740 KelvinDegree)) |
Mid-level-ontology.kif 27389-27389 | 2740 凯文度 是 铝 的 boiling 点 |
| (boilingPoint Americium (MeasureFn 2880 KelvinDegree)) |
Mid-level-ontology.kif 27553-27553 | 2880 凯文度 是 銤 的 boiling 点 |
| (boilingPoint Antimony (MeasureFn 2023 KelvinDegree)) |
Mid-level-ontology.kif 27465-27465 | 2023 凯文度 是 锑 的 boiling 点 |
| (boilingPoint Argon (MeasureFn 87.29 KelvinDegree)) |
Mid-level-ontology.kif 27399-27399 | 87.29 凯文度 是 氩 的 boiling 点 |
| (boilingPoint Arsenic (MeasureFn 886 KelvinDegree)) |
Mid-level-ontology.kif 27429-27429 | 886 凯文度 是 砷 的 boiling 点 |
| (boilingPoint Astatine (MeasureFn 610 KelvinDegree)) |
Mid-level-ontology.kif 27533-27533 | 610 凯文度 是 砹 的 boiling 点 |
| (boilingPoint Barium (MeasureFn 1913 KelvinDegree)) |
Mid-level-ontology.kif 27475-27475 | 1913 凯文度 是 钡 的 boiling 点 |
| (boilingPoint Beryllium (MeasureFn 3243 KelvinDegree)) |
Mid-level-ontology.kif 27371-27371 | 3243 凯文度 是 铍 的 boiling 点 |
| (boilingPoint Bismuth (MeasureFn 1833 KelvinDegree)) |
Mid-level-ontology.kif 27529-27529 | 1833 凯文度 是 铋 的 boiling 点 |
| (boilingPoint Boron (MeasureFn 2823 KelvinDegree)) |
Mid-level-ontology.kif 27373-27373 | 2823 凯文度 是 硼 的 boiling 点 |
| (boilingPoint Bromine (MeasureFn 331.93 KelvinDegree)) |
Mid-level-ontology.kif 27433-27433 | 331.93 凯文度 是 溴 的 boiling 点 |
| (boilingPoint Cadmium (MeasureFn 1038 KelvinDegree)) |
Mid-level-ontology.kif 27459-27459 | 1038 凯文度 是 镉 的 boiling 点 |
| (boilingPoint Caesium (MeasureFn 963 KelvinDegree)) |
Mid-level-ontology.kif 27473-27473 | 963 凯文度 是 铯 的 boiling 点 |
| (boilingPoint Calcium (MeasureFn 1760 KelvinDegree)) |
Mid-level-ontology.kif 27403-27403 | 1760 凯文度 是 钙 的 boiling 点 |
| (boilingPoint Carbon (MeasureFn 5100 KelvinDegree)) |
Mid-level-ontology.kif 27375-27375 | 5100 凯文度 是 碳 的 boiling 点 |
| (boilingPoint Cerium (MeasureFn 3530 KelvinDegree)) |
Mid-level-ontology.kif 27479-27479 | 3530 凯文度 是 铈 的 boiling 点 |
| (boilingPoint Chlorine (MeasureFn 238.55 KelvinDegree)) |
Mid-level-ontology.kif 27397-27397 | 238.55 凯文度 是 氯 的 boiling 点 |
| (boilingPoint Chromium (MeasureFn 2755 KelvinDegree)) |
Mid-level-ontology.kif 27411-27411 | 2755 凯文度 是 铬 的 boiling 点 |
| (boilingPoint Cobalt (MeasureFn 3143 KelvinDegree)) |
Mid-level-ontology.kif 27417-27417 | 3143 凯文度 是 钴 的 boiling 点 |
| (boilingPoint Copper (MeasureFn 2868 KelvinDegree)) |
Mid-level-ontology.kif 27421-27421 | 2868 凯文度 是 铜 的 boiling 点 |
| (boilingPoint Dysprosium (MeasureFn 2608 KelvinDegree)) |
Mid-level-ontology.kif 27495-27495 | 2608 凯文度 是 镝 的 boiling 点 |
| (boilingPoint Erbium (MeasureFn 2783 KelvinDegree)) |
Mid-level-ontology.kif 27499-27499 | 2783 凯文度 是 铒 的 boiling 点 |
| (boilingPoint Europium (MeasureFn 1870 KelvinDegree)) |
Mid-level-ontology.kif 27489-27489 | 1870 凯文度 是 铕 的 boiling 点 |
| (boilingPoint Fluorine (MeasureFn 85.01 KelvinDegree)) |
Mid-level-ontology.kif 27381-27381 | 85.01 凯文度 是 氟 的 boiling 点 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners