measure |
appearance as argument number 1 |
![]() |
(documentation measure ChineseLanguage "这是一个非常概括的 Predicate, 它用于断言一个特定的 Object 是由一种特定的 PhysicalQuantity 来量度。一般来说,这个 Predicate 的第二个参数会是由 Function MeasureFn 所产生的术语。") | chinese_format.kif 2632-2634 | |
(documentation measure EnglishLanguage "A very general Predicate for asserting that a particular Physical is measured by a particular PhysicalQuantity. In general, the second argument of this Predicate will be a term produced with the Function MeasureFn.") | Merge.kif 7549-7552 | |
(documentation measure JapaneseLanguage "非常に一般的な Predicate は、特定の Object が特 定の PhysicalQuantity によって測定されると主張する。 一般に、この Predicate の第2の引数は、 Function MeasureFn で生成される用語になる。") | japanese_format.kif 1347-1349 | |
(domain measure 1 Physical) | Merge.kif 7546-7546 | 计量 的 1 数量 是 物理 的 instance |
(domain measure 2 PhysicalQuantity) | Merge.kif 7547-7547 | 计量 的 2 数量 是 物理量 的 instance |
(instance measure AsymmetricRelation) | Merge.kif 7545-7545 | 计量 是 非对称关系 的 instance |
(instance measure BinaryPredicate) | Merge.kif 7544-7544 | 计量 是 二元谓语 的 instance |
appearance as argument number 2 |
![]() |
(format ChineseLanguage measure "%1 的 measure %n 是 %2") | chinese_format.kif 607-607 | |
(format EnglishLanguage measure "the measure of %1 is %n %2") | english_format.kif 610-610 | |
(format FrenchLanguage measure "la mesure de %1 est %n %2") | french_format.kif 368-368 | |
(format ItalianLanguage measure "lamisura %1 è %n %2") | relations-it.txt 177-177 | |
(format JapaneseLanguage measure " %1 の measure は %2 では %n") | japanese_format.kif 2102-2102 | |
(format PortugueseLanguage measure "a medida de %1 e' %n %2") | portuguese_format.kif 320-320 | |
(format cz measure "the measure of %1 %p{je} %n{nen�} %2") | relations-cz.txt 378-378 | |
(format de measure "das mass von %1 ist %2 %n{nicht}") | relations-de.txt 794-794 | |
(format hi measure "%1 kii maapa %2 %n hai") | relations-hindi.txt 215-215 | |
(format ro measure "measure%t{mãsura} lui %1 %n{nu} este %2") | relations-ro.kif 390-390 | |
(format sv measure "mätningen av %1 är %n{inte} %2") | relations-sv.txt 409-409 | |
(format tg measure "ang sukatan ng %1 %n ay %2") | relations-tg.txt 350-350 | |
(subrelation absorbedDose measure) | MilitaryProcesses.kif 868-868 | 吸收剂量 是 计量 的 subrelation |
(subrelation age measure) | Merge.kif 7561-7561 | 年龄 是 计量 的 subrelation |
(subrelation airTemperature measure) | Mid-level-ontology.kif 27573-27573 | 气温 是 计量 的 subrelation |
(subrelation barometricPressure measure) | Merge.kif 7900-7900 | 气压 是 计量 的 subrelation |
(subrelation effectiveRange measure) | Mid-level-ontology.kif 1603-1603 | 有效范围 是 计量 的 subrelation |
(subrelation fleetDeadWeightTonnage measure) | Transportation.kif 1005-1005 | 舰队载重吨位 是 计量 的 subrelation |
(subrelation fleetGrossRegisteredTonnage measure) | Transportation.kif 987-987 | 船队总注册吨位 是 计量 的 subrelation |
(subrelation linearExtent measure) | Merge.kif 7575-7575 | linearExtent 是 计量 的 subrelation |
(subrelation loudness measure) | Mid-level-ontology.kif 15098-15098 | loudness 是 计量 的 subrelation |
(subrelation memorySize measure) | QoSontology.kif 1791-1791 | 记忆体大小 是 计量 的 subrelation |
(subrelation phMeasure measure) | Mid-level-ontology.kif 11193-11193 | phMeasure 是 计量 的 subrelation |
(subrelation trackWidth measure) | Transportation.kif 393-393 | 轨道宽度 是 计量 的 subrelation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
(<=> (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 磅质量 |
(=> (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 (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (instance ?U UnitOfCurrency) (askPrice ?Object (MeasureFn ?Price ?U) ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker)) |
FinancialOntology.kif 2025-2046 |
|
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker)) |
FinancialOntology.kif 2048-2069 |
|
(=> (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 (attribute ?X ?Y) (instance ?Y TemperatureAttribute) (instance ?X Object)) (exists (?TEMP) (and (measure ?X ?TEMP) (instance ?TEMP TemperatureMeasure) (attribute ?TEMP ?Y)))) |
Mid-level-ontology.kif 27585-27594 | |
(=> (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 14875-14884 | |
(=> (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 14886-14897 |
|
(=> (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 14905-14914 | |
(=> (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 0.5)))) Unlikely)) |
Mid-level-ontology.kif 14916-14925 | |
(=> (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 14844-14853 | |
(=> (and (defaultMinimumMeasure ?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) (lessThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 14855-14866 | |
(=> (and (graphMeasure ?G ?M) (instance ?AN GraphNode) (graphPart ?AN ?G) (graphPart ?AA ?G) (instance ?AA GraphArc) (abstractCounterpart ?AN ?PN) (abstractCounterpart ?AA ?PA) (arcWeight ?AA ?N)) (measure ?PA (MeasureFn ?N ?M))) |
Merge.kif 6190-6201 | |
(=> (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 1180-1192 | |
(=> (and (immediateInstance ?X ?CLASS) (immediateInstance ?Y ?CLASS) (attribute ?X ColdTemperature) (attribute ?Y HotTemperature)) (exists (?TEMPX ?TEMPY ?UNIT) (and (measure ?X (MeasureFn ?TEMPX ?UNIT)) (instance ?UNIT UnitOfTemperature) (instance ?TEMPX TemperatureMeasure) (measure ?Y (MeasureFn ?TEMPY ?UNIT)) (instance ?TEMPY TemperatureMeasure) (greaterThan ?TEMPY ?TEMPX)))) |
Mid-level-ontology.kif 27620-27635 |
|
(=> (and (instance ?ACCELERATE Accelerating) (agent ?ACCELERATE ?AGENT)) (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2) (and (holdsDuring (BeginFn (WhenFn ?ACCELERATE)) (measure ?AGENT (SpeedFn (MeasureFn ?LENGTH1 ?U1) (MeasureFn ?TIME1 ?U2)))) (holdsDuring (EndFn (WhenFn ?ACCELERATE)) (measure ?AGENT (SpeedFn (MeasureFn ?LENGTH2 ?U1) (MeasureFn ?TIME2 ?U2)))) (or (greaterThan ?LENGTH2 ?LENGTH1) (greaterThan ?TIME2 ?TIME1))))) |
Mid-level-ontology.kif 18530-18551 |
|
(=> (and (instance ?ATOM Actinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 227 Amu))) |
Mid-level-ontology.kif 30731-30735 | |
(=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 29397-29401 | |
(=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu))) |
Mid-level-ontology.kif 30837-30841 | |
(=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu))) |
Mid-level-ontology.kif 30031-30035 | |
(=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 29480-29484 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |