MeasureFn |
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 6377-6381 | |
(documentation MeasureFn JapaneseLanguage "この BinaryFunction は、RealNumber と UnitOfMeasure をその Number 単位にマップする。 これは、PhysicalQuantity の「測定された」 インスタンスを表すために使用される。例: 3メートルの概念は(MeasureFn 3 Meter) として表され る。") | japanese_format.kif 1125-1128 | |
(domain MeasureFn 1 RealNumber) | Merge.kif 6373-6373 | 计量函数 的 1 数量 是 实数 的 instance |
(domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6374-6374 | 计量函数 的 2 数量 是 测量单位 的 instance |
(instance MeasureFn BinaryFunction) | Merge.kif 6371-6371 | 计量函数 是 二元函数 的 instance |
(instance MeasureFn TotalValuedRelation) | Merge.kif 6372-6372 | 计量函数 是 总值关系 的 instance |
(range MeasureFn PhysicalQuantity) | Merge.kif 6375-6375 | 计量函数 的 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 636-636 | |
(format FrenchLanguage MeasureFn "%1 %2(s)") | french_format.kif 383-383 | |
(format ItalianLanguage MeasureFn "%1 %2(s") | relations-it.txt 178-178 | |
(format JapaneseLanguage MeasureFn "%1 の %2(s)") | japanese_format.kif 2113-2113 | |
(format PortugueseLanguage MeasureFn "%1 %2(s)") | portuguese_format.kif 335-335 | |
(format cz MeasureFn "%1 %2(s)") | relations-cz.txt 392-392 | |
(format de MeasureFn "%1 %2(s)") | relations-de.txt 829-829 | |
(format hi MeasureFn "%1 %2(") | relations-hindi.txt 216-216 | |
(format ro MeasureFn "%1 %2(s)") | relations-ro.kif 405-405 | |
(format sv MeasureFn "%1 %2(s)") | relations-sv.txt 426-426 | |
(termFormat ChineseLanguage MeasureFn "测量") | domainEnglishFormat.kif 36680-36680 | |
(termFormat ChineseLanguage MeasureFn "计量函数") | chinese_format.kif 634-634 | |
(termFormat ChineseTraditionalLanguage MeasureFn "測量") | domainEnglishFormat.kif 36679-36679 | |
(termFormat EnglishLanguage MeasureFn "measure") | domainEnglishFormat.kif 36678-36678 | |
(termFormat de MeasureFn "MassFn") | terms-de.txt 245-245 | |
(termFormat tg MeasureFn "tungkulin ng sukatan") | relations-tg.txt 353-353 |
antecedent |
![]() |
consequent |
![]() |
(<=> (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 3404-3414 | 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring |
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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) ?Y) (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 357-390 | 年 是 那个 年EAR year 的 instance 和 equal 地缘政治区域 和 那个 年 的 male 出生估计寿命 and 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?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) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 238-264 | 年 是 整数 year 的 instance 和 equal 地缘政治区域 和 那个 年 每一千个生存出生里的 deaths and 实数 若且唯若 equal 另一个 整数 and 符号串 所描述的类别 instance 的数量 和 equal 那个 另外 整数 和 1000 and 另一个 实数 和 equal 第三 整数 and 另一个 符号串 所描述的类别 instance 的数量 和 equal 那个 第三 整数 和 那个 另外 实数 and 那个 实数 |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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) ?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 403-436 | 年 是 整数 year 的 instance 和 equal 地缘政治区域 和 那个 年 的 female 出生预期寿命 and 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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) ?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 310-342 | 年 是 整数 year 的 instance 和 equal 地缘政治区域 和 那个 年 的出生预期 life and 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
(<=> (attribute ?WATER OpenSea) (exists (?LAND ?DIST) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER (MeasureFn ?DIST NauticalMile)) (greaterThan ?DIST 5.0)))) |
Geography.kif 4951-4960 | 公海 是 客体 的 attribute 若且唯若 有存在 物理 和 实数 这样 那个 客体 是 盐水区 的 instance 和 那个 客体 不 是 内陆水域 的 instance 和 那个 物理 和 那个 客体 的 distance 是 那个 实数 海里 和 那个 实数 是 greaterThan 5.0 |
(<=> (compressionRatio ?E ?R) (and (minCylinderVolume ?E (MeasureFn ?MIN ?M)) (maxCylinderVolume ?E (MeasureFn ?MAX ?M)) (equal ?R (DivisionFn ?MIN ?MAX)))) |
Cars.kif 1912-1917 | compressionRatio 发动机 and 实数 若且唯若 minCylinderVolume 那个 发动机 and 另一个 实数 测量单位 和 maxCylinderVolume 那个 发动机 and 那个 测量单位AX 那个 测量单位 和 equal 那个 实数 and 那个 另外 实数 和 那个 测量单位AX |
(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration)))) |
Weather.kif 2426-2432 | equal 函数量 and 实数 英里每小時 若且唯若 equal 那个 函数量 and 那个 实数 英里 除以 1 小时 |
(<=> (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 7843-7851 | 客体 larger 另一个 客体 若且唯若 对所有 实数, 另一个 实数, and 和 测量单位 |
(<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 14944-14950 | 物理 的 measure 是 实数 公吨 若且唯若 那个 物理 的 measure 是 那个 实数 和 2205.0 磅质量 |
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 548-550 | 物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分 |
(<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond))) |
Geography.kif 567-569 | 物理 的 measure 是 实数 弧分 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧秒 |
(<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 14665-14670 | 物理 的 measure 是 实数 OunceMass 若且唯若 那个 物理 的 measure 是 那个 实数 和 16.0 磅质量 |
(<=> (sectorValueOfGDPInPeriod ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (sectorValueOfGDP ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT)))))) |
Economy.kif 1220-1228 | 地缘政治区域 是 实数 测量单位 和 有点 时距 在 周期 行业属性 的 sector GDP 价值 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 那个 测量单位 的 sector GDP 价值 那个 行业属性 在 那个 时间位置 holdsDuring |
(=> (and (amount ?S ?CO (MeasureFn ?N ?U)) (instance ?SI ?S) (measure ?SI (MeasureFn ?N2 ?U)) (part ?SI ?CO)) (exists (?L) (and (inList (MeasureFn ?N2 ?U) ?L) (equal ?L (AmountsFn ?S ?CO ?U)) (equal ?N (ListSumFn ?L))))) |
Merge.kif 7647-7662 | |
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 2238-2248 | |
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.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 2250-2264 |
|
(=> (and (arcLength ?SEMI (MeasureFn ?L ?U)) (equal ?SEMI SemicircularArc)) (exists (?CIR ?C) (and (equal ?CIR Circle) (geometricPart ?SEMI ?CIR) (circumference ?CIR (MeasureFn ?C ?U)) (equal ?C (AdditionFn ?L ?L))))) |
Mid-level-ontology.kif 5700-5710 |
|
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 204-223 |
|
(=> (and (attribute ?P CollegeFreshman) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (lessThan ?T 1)))) |
Mid-level-ontology.kif 20299-20308 | |
(=> (and (attribute ?P CollegeJunior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 2) (lessThan ?T 3)))) |
Mid-level-ontology.kif 20314-20324 | |
(=> (and (attribute ?P CollegeSenior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 3) (lessThan ?T 4)))) |
Mid-level-ontology.kif 20330-20340 | |
(=> (and (attribute ?P CollegeSophomore) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 1) (lessThan ?T 2)))) |
Mid-level-ontology.kif 20346-20356 | |
(=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2 ?U) (and (immediateInstance ?NORMAL ?HOTELUNIT) (instance ?U UnitOfArea) (measure ?NORMAL (MeasureFn ?AREA1 ?U)) (measure ?ROOM (MeasureFn ?AREA2 ?U)) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1)))) |
Hotel.kif 1194-1209 |
|
(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT)) |
Government.kif 1094-1114 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
(boilingPoint Actinium (MeasureFn 3470.0 KelvinDegree)) |
Mid-level-ontology.kif 31277-31277 | 3470.0 凯文度 是 锕 的 boiling 点 |
(boilingPoint Aluminum (MeasureFn 2740.0 KelvinDegree)) |
Mid-level-ontology.kif 31125-31125 | 2740.0 凯文度 是 铝 的 boiling 点 |
(boilingPoint Americium (MeasureFn 2880.0 KelvinDegree)) |
Mid-level-ontology.kif 31289-31289 | 2880.0 凯文度 是 銤 的 boiling 点 |
(boilingPoint Antimony (MeasureFn 2023.0 KelvinDegree)) |
Mid-level-ontology.kif 31201-31201 | 2023.0 凯文度 是 锑 的 boiling 点 |
(boilingPoint Argon (MeasureFn 87.29 KelvinDegree)) |
Mid-level-ontology.kif 31135-31135 | 87.29 凯文度 是 氩 的 boiling 点 |
(boilingPoint Arsenic (MeasureFn 886.0 KelvinDegree)) |
Mid-level-ontology.kif 31165-31165 | 886.0 凯文度 是 砷 的 boiling 点 |
(boilingPoint Astatine (MeasureFn 610.0 KelvinDegree)) |
Mid-level-ontology.kif 31269-31269 | 610.0 凯文度 是 砹 的 boiling 点 |
(boilingPoint Barium (MeasureFn 1913.0 KelvinDegree)) |
Mid-level-ontology.kif 31211-31211 | 1913.0 凯文度 是 钡 的 boiling 点 |
(boilingPoint Beryllium (MeasureFn 3243.0 KelvinDegree)) |
Mid-level-ontology.kif 31107-31107 | 3243.0 凯文度 是 铍 的 boiling 点 |
(boilingPoint Bismuth (MeasureFn 1833.0 KelvinDegree)) |
Mid-level-ontology.kif 31265-31265 | 1833.0 凯文度 是 铋 的 boiling 点 |
(boilingPoint Boron (MeasureFn 2823.0 KelvinDegree)) |
Mid-level-ontology.kif 31109-31109 | 2823.0 凯文度 是 硼 的 boiling 点 |
(boilingPoint Bromine (MeasureFn 331.93 KelvinDegree)) |
Mid-level-ontology.kif 31169-31169 | 331.93 凯文度 是 溴 的 boiling 点 |
(boilingPoint Cadmium (MeasureFn 1038.0 KelvinDegree)) |
Mid-level-ontology.kif 31195-31195 | 1038.0 凯文度 是 镉 的 boiling 点 |
(boilingPoint Caesium (MeasureFn 963.0 KelvinDegree)) |
Mid-level-ontology.kif 31209-31209 | 963.0 凯文度 是 铯 的 boiling 点 |
(boilingPoint Calcium (MeasureFn 1760.0 KelvinDegree)) |
Mid-level-ontology.kif 31139-31139 | 1760.0 凯文度 是 钙 的 boiling 点 |
(boilingPoint Carbon (MeasureFn 5100.0 KelvinDegree)) |
Mid-level-ontology.kif 31111-31111 | 5100.0 凯文度 是 碳 的 boiling 点 |
(boilingPoint Cerium (MeasureFn 3530.0 KelvinDegree)) |
Mid-level-ontology.kif 31215-31215 | 3530.0 凯文度 是 铈 的 boiling 点 |
(boilingPoint Chlorine (MeasureFn 238.55 KelvinDegree)) |
Mid-level-ontology.kif 31133-31133 | 238.55 凯文度 是 氯 的 boiling 点 |
(boilingPoint Chromium (MeasureFn 2755.0 KelvinDegree)) |
Mid-level-ontology.kif 31147-31147 | 2755.0 凯文度 是 铬 的 boiling 点 |
(boilingPoint Cobalt (MeasureFn 3143.0 KelvinDegree)) |
Mid-level-ontology.kif 31153-31153 | 3143.0 凯文度 是 钴 的 boiling 点 |
(boilingPoint Copper (MeasureFn 2868.0 KelvinDegree)) |
Mid-level-ontology.kif 31157-31157 | 2868.0 凯文度 是 铜 的 boiling 点 |
(boilingPoint Dysprosium (MeasureFn 2608.0 KelvinDegree)) |
Mid-level-ontology.kif 31231-31231 | 2608.0 凯文度 是 镝 的 boiling 点 |
(boilingPoint Erbium (MeasureFn 2783.0 KelvinDegree)) |
Mid-level-ontology.kif 31235-31235 | 2783.0 凯文度 是 铒 的 boiling 点 |
(boilingPoint Europium (MeasureFn 1870.0 KelvinDegree)) |
Mid-level-ontology.kif 31225-31225 | 1870.0 凯文度 是 铕 的 boiling 点 |
(boilingPoint Fluorine (MeasureFn 85.01 KelvinDegree)) |
Mid-level-ontology.kif 31117-31117 | 85.01 凯文度 是 氟 的 boiling 点 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |