| 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 6004-6008 | |
| (domain MeasureFn 1 RealNumber) | Merge.kif 6000-6000 | 计量函数 的 1 数量 是 实数 的 instance |
| (domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6001-6001 | 计量函数 的 2 数量 是 测量单位 的 instance |
| (instance MeasureFn BinaryFunction) | Merge.kif 5998-5998 | 计量函数 是 二元函数 的 instance |
| (instance MeasureFn TotalValuedRelation) | Merge.kif 5999-5999 | 计量函数 是 总值关系 的 instance |
| (range MeasureFn PhysicalQuantity) | Merge.kif 6002-6002 | 计量函数 的 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 36565-36565 | |
| (termFormat ChineseLanguage MeasureFn "计量函数") | chinese_format.kif 634-634 | |
| (termFormat ChineseTraditionalLanguage MeasureFn "測量") | domainEnglishFormat.kif 36564-36564 | |
| (termFormat EnglishLanguage MeasureFn "measure") | domainEnglishFormat.kif 36563-36563 |
| 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 1183-1193 | 实体 是 地区 的 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 7325-7333 | 客体 larger 另一个 客体 若且唯若 对所有 实数， 另一个 实数， and 和 测量单位 |
| (<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205) PoundMass))) |
Mid-level-ontology.kif 11205-11211 | 客体 的 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 10945-10950 | 客体 的 measure 是 实数 OunceMass 若且唯若 那个 客体 的 measure 是 那个 实数 和 16 磅质量 |
| (=> (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 16400-16408 | |
| (=> (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 16414-16425 | |
| (=> (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 16431-16442 | |
| (=> (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 16448-16459 | |
| (=> (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 11137-11146 | |
| (=> (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 11147-11158 |
|
| (=> (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 11166-11175 | |
| (=> (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 11177-11186 | |
| (=> (and (defaultMinimumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 11108-11117 | |
| 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 27516-27516 | 3470 凯文度 是 锕 的 boiling 点 |
| (boilingPoint Aluminum (MeasureFn 2740 KelvinDegree)) |
Mid-level-ontology.kif 27364-27364 | 2740 凯文度 是 铝 的 boiling 点 |
| (boilingPoint Americium (MeasureFn 2880 KelvinDegree)) |
Mid-level-ontology.kif 27528-27528 | 2880 凯文度 是 銤 的 boiling 点 |
| (boilingPoint Antimony (MeasureFn 2023 KelvinDegree)) |
Mid-level-ontology.kif 27440-27440 | 2023 凯文度 是 锑 的 boiling 点 |
| (boilingPoint Argon (MeasureFn 87.29 KelvinDegree)) |
Mid-level-ontology.kif 27374-27374 | 87.29 凯文度 是 氩 的 boiling 点 |
| (boilingPoint Arsenic (MeasureFn 886 KelvinDegree)) |
Mid-level-ontology.kif 27404-27404 | 886 凯文度 是 砷 的 boiling 点 |
| (boilingPoint Astatine (MeasureFn 610 KelvinDegree)) |
Mid-level-ontology.kif 27508-27508 | 610 凯文度 是 砹 的 boiling 点 |
| (boilingPoint Barium (MeasureFn 1913 KelvinDegree)) |
Mid-level-ontology.kif 27450-27450 | 1913 凯文度 是 钡 的 boiling 点 |
| (boilingPoint Beryllium (MeasureFn 3243 KelvinDegree)) |
Mid-level-ontology.kif 27346-27346 | 3243 凯文度 是 铍 的 boiling 点 |
| (boilingPoint Bismuth (MeasureFn 1833 KelvinDegree)) |
Mid-level-ontology.kif 27504-27504 | 1833 凯文度 是 铋 的 boiling 点 |
| (boilingPoint Boron (MeasureFn 2823 KelvinDegree)) |
Mid-level-ontology.kif 27348-27348 | 2823 凯文度 是 硼 的 boiling 点 |
| (boilingPoint Bromine (MeasureFn 331.93 KelvinDegree)) |
Mid-level-ontology.kif 27408-27408 | 331.93 凯文度 是 溴 的 boiling 点 |
| (boilingPoint Cadmium (MeasureFn 1038 KelvinDegree)) |
Mid-level-ontology.kif 27434-27434 | 1038 凯文度 是 镉 的 boiling 点 |
| (boilingPoint Caesium (MeasureFn 963 KelvinDegree)) |
Mid-level-ontology.kif 27448-27448 | 963 凯文度 是 铯 的 boiling 点 |
| (boilingPoint Calcium (MeasureFn 1760 KelvinDegree)) |
Mid-level-ontology.kif 27378-27378 | 1760 凯文度 是 钙 的 boiling 点 |
| (boilingPoint Carbon (MeasureFn 5100 KelvinDegree)) |
Mid-level-ontology.kif 27350-27350 | 5100 凯文度 是 碳 的 boiling 点 |
| (boilingPoint Cerium (MeasureFn 3530 KelvinDegree)) |
Mid-level-ontology.kif 27454-27454 | 3530 凯文度 是 铈 的 boiling 点 |
| (boilingPoint Chlorine (MeasureFn 238.55 KelvinDegree)) |
Mid-level-ontology.kif 27372-27372 | 238.55 凯文度 是 氯 的 boiling 点 |
| (boilingPoint Chromium (MeasureFn 2755 KelvinDegree)) |
Mid-level-ontology.kif 27386-27386 | 2755 凯文度 是 铬 的 boiling 点 |
| (boilingPoint Cobalt (MeasureFn 3143 KelvinDegree)) |
Mid-level-ontology.kif 27392-27392 | 3143 凯文度 是 钴 的 boiling 点 |
| (boilingPoint Copper (MeasureFn 2868 KelvinDegree)) |
Mid-level-ontology.kif 27396-27396 | 2868 凯文度 是 铜 的 boiling 点 |
| (boilingPoint Dysprosium (MeasureFn 2608 KelvinDegree)) |
Mid-level-ontology.kif 27470-27470 | 2608 凯文度 是 镝 的 boiling 点 |
| (boilingPoint Erbium (MeasureFn 2783 KelvinDegree)) |
Mid-level-ontology.kif 27474-27474 | 2783 凯文度 是 铒 的 boiling 点 |
| (boilingPoint Europium (MeasureFn 1870 KelvinDegree)) |
Mid-level-ontology.kif 27464-27464 | 1870 凯文度 是 铕 的 boiling 点 |
| (boilingPoint Fluorine (MeasureFn 85.01 KelvinDegree)) |
Mid-level-ontology.kif 27356-27356 | 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners