Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - measure
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 7505-7508
(documentation measure JapaneseLanguage "非常に一般的な Predicate は、特定の Object が特 定の PhysicalQuantity によって測定されると主張する。　一般に、この Predicate の第2の引数は、 Function MeasureFn で生成される用語になる。") japanese_format.kif 1347-1349
(domain measure 1 Physical) Merge.kif 7502-7502 计量 的 1 数量 是 物理 的 instance
(domain measure 2 PhysicalQuantity) Merge.kif 7503-7503 计量 的 2 数量 是 物理量 的 instance
(instance measure AsymmetricRelation) Merge.kif 7501-7501 计量 是 非对称关系 的 instance
(instance measure BinaryPredicate) Merge.kif 7500-7500 计量 是 二元谓语 的 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 7517-7517 年龄 是 计量 的 subrelation
(subrelation airTemperature measure) Mid-level-ontology.kif 25607-25607 气温 是 计量 的 subrelation
(subrelation barometricPressure measure) Merge.kif 7815-7815 气压 是 计量 的 subrelation
(subrelation effectiveRange measure) Mid-level-ontology.kif 1358-1358 有效范围 是 计量 的 subrelation
(subrelation fleetDeadWeightTonnage measure) Transportation.kif 1005-1005 舰队载重吨位 是 计量 的 subrelation
(subrelation fleetGrossRegisteredTonnage measure) Transportation.kif 987-987 船队总注册吨位 是 计量 的 subrelation
(subrelation linearExtent measure) Merge.kif 7530-7530 linearExtent 是 计量 的 subrelation
(subrelation loudness measure) Mid-level-ontology.kif 13699-13699 loudness 是 计量 的 subrelation
(subrelation memorySize measure) QoSontology.kif 1660-1660 记忆体大小 是 计量 的 subrelation
(subrelation phMeasure measure) Mid-level-ontology.kif 9836-9836 phMeasure 是 计量 的 subrelation
(subrelation significantWaveHeight measure) Weather.kif 1528-1528 有效波高 是 计量 的 subrelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))		 Mid-level-ontology.kif 13577-13583 物理 的 measure 是 实数 公吨 若且唯若 那个 物理 的 measure 是 那个 实数 和 2205.0 磅质量
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 378-380 物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))		 Geography.kif 397-399 物理 的 measure 是 实数 弧分 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧秒
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))		 Mid-level-ontology.kif 13298-13303 物理 的 measure 是 实数 OunceMass 若且唯若 那个 物理 的 measure 是 那个 实数 和 16.0 磅质量
(<=>
    (measure ?SOLUTION
        (MeasureFn ?PH PHValue))
    (potentialOfHydrogen ?SOLUTION ?PH))		 Geography.kif 2548-2551 溶液 的 measure 是 实数 酸碱度 若且唯若 那个 实数 是 那个 溶液 的氢 potential
(=>
    (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 7596-7611
(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2.0) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM UnitOfLength)
        (instance ?VM UnitOfVolume))
    (equal ?V1 ?V2))		 Mid-level-ontology.kif 17897-17908
(=>
    (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
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))		 Medicine.kif 172-187
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))		 Medicine.kif 155-170
(=>
    (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 2008-2029
(=>
    (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 2031-2052
(=>
    (and
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (greaterThanOrEqualTo ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Gas))
        (exists (?BOIL)
            (and
                (overlapsTemporally
                    (WhenFn ?BOIL) ?TIME)
                (instance ?BOIL Boiling)
                (patient ?BOIL ?SUBSTANCE)))))		 Merge.kif 13811-13824
(=>
    (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 659-669
(=>
    (and
        (concentration
            (MeasureFn ?N1 ?U) ?S
            (MeasureFn ?N2 ?U2) ?M)
        (instance ?SI ?S)
        (part ?SI ?M)
        (measure ?SI
            (MeasureFn ?N3 ?U3))
        (part ?SI ?M)
        (not
            (instance ?SI2 ?S))
        (not
            (equal ?SI ?SIE2))
        (part ?SI2 ?M)
        (measure ?M
            (MeasureFn ?N2 ?U2)))
    (approximateValue ?N1 ?N3))		 Medicine.kif 234-249
(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn
                (MeasureFn ?N1 MilesPerHour) ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?E ?A)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?E)
        (holdsDuring
            (WhenFn ?P)
            (measure ?C
                (RotationFn
                    (MeasureFn ?N2 MilesPerHour) ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))		 Cars.kif 2585-2603
(=>
    (and
        (equal ?MEASURE
            (MeasureFn ?NUMBER Rad))
        (measure ?OBJ ?MEASURE))
    (absorbedDose ?OBJ ?MEASURE))		 MilitaryProcesses.kif 862-866
(=>
    (and
        (governorSpeed ?V ?Q)
        (equal
            (MeasureFn ?FAST MilesPerHour)
            (SpeedFn ?L1 ?T1))
        (equal
            (MeasureFn ?SLOW MilesPerHour)
            (SpeedFn ?L2 ?T2))
        (greaterThan ?FAST ?SLOW)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?FAST MilesPerHour))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?SLOW MilesPerHour)))))
    (greaterThan ?SLOWPROB ?FASTPROB))		 Cars.kif 2884-2902
(=>
    (and
        (holdsDuring ?T
            (measure ?C ?S))
        (engineIdleSpeed ?E ?S)
        (instance ?A Automobile)
        (part ?E ?A)
        (part ?C ?E))
    (modalAttribute
        (not
            (exists (?P ?GP)
                (and
                    (during ?P ?T)
                    (instance ?P Pushing)
                    (destination ?P ?GP)
                    (part ?GP ?A)))) Likely))		 Cars.kif 2567-2583
(=>
    (and
        (holdsDuring ?T1
            (attribute ?H Dieting))
        (holdsDuring ?T2
            (not
                (attribute ?H Dieting)))
        (instance ?M1 Meal)
        (instance ?E1 Eating)
        (agent ?E1 ?H)
        (resource ?E1 ?M1)
        (during
            (WhenFn ?E1) ?T1)
        (measure ?M1
            (MeasureFn ?C1 Calorie))
        (instance ?M2 Meal)
        (instance ?E2 Eating)
        (agent ?E2 ?H)
        (resource ?E2 ?M2)
        (during
            (WhenFn ?E2) ?T2)
        (measure ?M2
            (MeasureFn ?C2 Calorie)))
    (modalAttribute
        (greaterThan ?C2 ?C1) Likely))		 Mid-level-ontology.kif 30579-30600
(=>
    (and
        (instance ?A Americano)
        (part ?E ?A)
        (part ?W ?A)
        (instance ?E Espresso)
        (instance ?W DrinkingWater)
        (measure ?W
            (MeasureFn 90.0 CelsiusDegree))
        (mixtureRatio ?E ?W ?V1 ?V2 Liter))
    (and
        (approximateValue ?V1 0.03)
        (approximateValue ?V2 0.15)))		 Food.kif 1321-1332
(=>
    (and
        (instance ?B Brine)
        (measure ?B
            (MeasureFn 1.0 Liter))
        (part ?SALT ?B)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 35.0)
        (lessThanOrEqualTo ?R 260.0)))		 Geography.kif 2873-2884
(=>
    (and
        (instance ?BOILING Boiling)
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (patient ?BOILING ?SUBSTANCE)
        (holdsDuring
            (WhenFn ?BOILING)
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature))
    (greaterThanOrEqualTo ?TEMP2 ?TEMP1))		 Merge.kif 13801-13809
(=>
    (and
        (instance ?BTS BimetalTemperatureSensor)
        (instance ?M1 Metal)
        (instance ?M2 Metal)
        (not
            (equal ?M1 ?M2))
        (part ?M1 ?BTS)
        (part ?M2 ?BTS)
        (instance ?T1 TemperatureMeasure)
        (instance ?T2 TemperatureMeasure)
        (instance ?L1 LengthMeasure)
        (instance ?L2 LengthMeasure)
        (instance ?L3 LengthMeasure)
        (instance ?L4 LengthMeasure)
        (not
            (equal ?T1 ?T2))
        (not
            (equal ?TM1 ?TM2))
        (holdsDuring ?TM1
            (and
                (measure ?BTS ?T1)
                (measure ?M1 ?L1)
                (measure ?M2 ?L2)))
        (holdsDuring ?TM2
            (and
                (measure ?BTS ?T2)
                (measure ?M1 ?L3)
                (measure ?M2 ?L4))))
    (not
        (equal
            (DivisionFn ?L1 ?L2)
            (DivisionFn ?L3 ?L4))))		 Cars.kif 4081-4113
(=>
    (and
        (instance ?C Cappuccino)
        (part ?E ?C)
        (part ?M ?C)
        (instance ?E Espresso)
        (instance ?M MilkFoam)
        (mixtureRatio ?E ?M ?V1 ?V2 Liter)
        (part ?B ?M)
        (instance ?B Bubble)
        (top ?B ?M)
        (measure ?B
            (MeasureFn ?L Millimeter)))
    (and
        (approximateValue ?V1 0.03)
        (approximateValue ?V2 0.15)
        (approximateValue ?L 20.0)))		 Food.kif 1285-1301

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 7758-7766 客体 larger 另一个 客体 若且唯若 对所有 实数， 另一个 实数， and 和 测量单位
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))		 Mid-level-ontology.kif 13577-13583 物理 的 measure 是 实数 公吨 若且唯若 那个 物理 的 measure 是 那个 实数 和 2205.0 磅质量
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 378-380 物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))		 Geography.kif 397-399 物理 的 measure 是 实数 弧分 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧秒
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))		 Mid-level-ontology.kif 13298-13303 物理 的 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 2092-2106
(=>
    (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 2008-2029
(=>
    (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 2031-2052
(=>
    (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 1186-1201
(=>
    (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 25619-25628
(=>
    (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 13508-13517
(=>
    (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 13519-13530
(=>
    (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 13538-13547
(=>
    (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 13549-13558
(=>
    (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 13477-13486
(=>
    (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 13488-13499
(=>
    (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 6165-6176
(=>
    (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
(=>
    (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 25654-25669
(=>
    (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 17115-17136
(=>
    (and
        (instance ?ATOM Actinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 227 Amu)))		 Mid-level-ontology.kif 28729-28733
(=>
    (and
        (instance ?ATOM Aluminum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 26.9815 Amu)))		 Mid-level-ontology.kif 27395-27399
(=>
    (and
        (instance ?ATOM Americium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 243 Amu)))		 Mid-level-ontology.kif 28835-28839
(=>
    (and
        (instance ?ATOM Antimony)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 121.75 Amu)))		 Mid-level-ontology.kif 28029-28033
(=>
    (and
        (instance ?ATOM Argon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 39.948 Amu)))		 Mid-level-ontology.kif 27478-27482

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