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 Object 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 7120-7123
(domain measure 1 Object) Merge.kif 7117-7117 The number 1 argument of measure is an instance of object
(domain measure 2 PhysicalQuantity) Merge.kif 7118-7118 The number 2 argument of measure is an instance of physical quantity
(instance measure AsymmetricRelation) Merge.kif 7116-7116 measure is an instance of asymmetric relation
(instance measure BinaryPredicate) Merge.kif 7115-7115 measure is an instance of binary predicate

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 613-613
(subrelation absorbedDose measure) MilitaryProcesses.kif 868-868 absorbed dose is a subrelation of measure
(subrelation age measure) Merge.kif 7126-7126 age is a subrelation of measure
(subrelation airTemperature measure) Mid-level-ontology.kif 23606-23606 air temperature is a subrelation of measure
(subrelation barometricPressure measure) Merge.kif 7374-7374 barometric pressure is a subrelation of measure
(subrelation effectiveRange measure) Mid-level-ontology.kif 1765-1765 effective range is a subrelation of measure
(subrelation fleetDeadWeightTonnage measure) Transportation.kif 994-994 fleet dead weight tonnage is a subrelation of measure
(subrelation fleetGrossRegisteredTonnage measure) Transportation.kif 976-976 fleet gross registered tonnage is a subrelation of measure
(subrelation linearExtent measure) Merge.kif 7139-7139 linearExtent is a subrelation of measure
(subrelation load measure) QoSontology.kif 1845-1845 load is a subrelation of measure
(subrelation memorySize measure) QoSontology.kif 1665-1665 memory size is a subrelation of measure
(subrelation trackWidth measure) Transportation.kif 390-390 track width is a subrelation of measure
(subrelation vesselDisplacement measure) Transportation.kif 2504-2504 vessel displacement is a subrelation of measure
(subrelation visibilityInMeteorology measure) Weather.kif 1213-1213 visibility in meteorology is a subrelation of measure
(subrelation weight measure) Merge.kif 6950-6950 weight is a subrelation of measure
(termFormat ChineseLanguage measure "测量") domainEnglishFormat.kif 36559-36559
(termFormat ChineseLanguage measure "计量") chinese_format.kif 608-608
(termFormat ChineseTraditionalLanguage measure "測量") domainEnglishFormat.kif 36558-36558
(termFormat EnglishLanguage measure "measure") domainEnglishFormat.kif 36557-36557

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


(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 11205-11211 The measure of an object is a real number metric ton(s) if and only if the measure of the object is the real number and 2205 pound mass(s)
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380 The measure of an object is a real number angular degree(s) if and only if the measure of the object is 60 and the real number arc minute(s)
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399 The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s)
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
Mid-level-ontology.kif 10945-10950 The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s)
(<=>
    (measure ?SOLUTION
        (MeasureFn ?PH PHValue))
    (potentialOfHydrogen ?SOLUTION ?PH))
Geography.kif 2489-2492 The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution
(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM LengthMeasure)
        (instance ?VM VolumeMeasure))
    (equal ?V1 ?V2))
Mid-level-ontology.kif 15653-15664
(=>
    (and
        (attribute ?FOOD1 FamilyStylePortion)
        (measure ?FOOD1 ?MEAS1)
        (not
            (attribute ?FOOD2 FamilyStylePortion))
        (measure ?FOOD2 ?MEAS2)
        (instance ?FOOD1 ?CLASS)
        (instance ?FOOD2 ?CLASS))
    (greaterThan ?MEAS1 ?MEAS2))
Dining.kif 1115-1123
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (askPrice ?Object ?Price ?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 1945-1963
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (bidPrice ?Object ?Price ?Time)
        (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 1965-1983
(=>
    (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 12800-12813
(=>
    (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
        (engineIdleSpeed ?E
            (RotationFn ?N1 ?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 ?N2 ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Cars.kif 2572-2588
(=>
    (and
        (equal ?MEASURE
            (MeasureFn ?NUMBER Rad))
        (measure ?OBJ ?MEASURE))
    (absorbedDose ?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
(=>
    (and
        (governorSpeed ?V ?Q)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (PerFn ?L1 ?T1))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (PerFn ?L2 ?T2))))
        (greaterThan
            (PerFn ?L1 ?T1)
            (PerFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))
Cars.kif 2869-2883
(=>
    (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 2554-2570
(=>
    (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 28807-28828
(=>
    (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 12790-12798
(=>
    (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 4054-4086
(=>
    (and
        (instance ?DEPOSITION Deposition)
        (patient ?DEPOSITION ?OBJ)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?X Joule)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?Y Joule))))
    (lessThan ?Y ?X))
Geography.kif 6354-6368
(=>
    (and
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (instance ?F Fuel)
        (instance ?M UnitOfVolume)
        (holdsDuring ?T
            (and
                (contains ?CC ?F)
                (measure ?F
                    (MeasureFn ?N1 ?M))
                (attribute ?E EngineFlooded))))
    (hasPurpose ?CC
        (not
            (exists (?F2)
                (and
                    (instance ?F2 Fuel)
                    (contains ?CC ?F2)
                    (measure ?F2
                        (MeasureFn ?N2 ?M))
                    (greaterThanOrEqualTo ?N2 ?N1))))))
Cars.kif 2796-2815
(=>
    (and
        (instance ?EC EngineChoke)
        (holdsDuring ?FSC1
            (attribute ?EC DeviceOn))
        (holdsDuring ?FSC2
            (attribute ?EC DeviceOff))
        (instance ?C EngineCylinder)
        (capacity ?C ?M)
        (instance ?FSC1 FourStrokeCompression)
        (instance ?FSC2 FourStrokeCompression)
        (eventLocated ?FSC1 ?C)
        (eventLocated ?FSC2 ?C)
        (instance ?A1 Air)
        (instance ?F1 Fuel)
        (part ?A1 ?MIX1)
        (part ?F1 ?MIX1)
        (measure ?MIX1 ?M)
        (instance ?A2 Air)
        (instance ?F2 Fuel)
        (part ?A2 ?MIX2)
        (part ?F2 ?MIX2)
        (measure ?MIX2 ?M)
        (measure ?A1 ?A1M)
        (measure ?A2 ?A2M)
        (measure ?F1 ?F1M)
        (measure ?F2 ?F2M))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))
Cars.kif 1315-1344
(=>
    (and
        (instance ?EVAP Evaporating)
        (boilingPoint ?OBJ
            (MeasureFn ?BOILVAL ?MEAS))
        (measure ?OBJ
            (MeasureFn ?VAL ?MEAS))
        (instance ?MEAS UnitOfTemperature)
        (patient ?EVAP ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (greaterThan ?BOILVAL ?VAL)
            (holdsDuring
                (BeginFn
                    (WhenFn ?EVAP))
                (attribute ?PART Liquid))
            (holdsDuring
                (EndFn
                    (WhenFn ?EVAP))
                (attribute ?PART Gas)))))
Merge.kif 12906-12918
(=>
    (and
        (instance ?G Grease)
        (holdsDuring ?T
            (measure ?G
                (MeasureFn 77 FahrenheitDegree))))
    (holdsDuring ?T
        (attribute ?G Solid)))
Cars.kif 2961-2967
(=>
    (and
        (instance ?IC IgnitionCoil)
        (instance ?P ElectricTransmission)
        (resource ?P ?E1)
        (instance ?E1 Electricity)
        (instance ?E2 Electricity)
        (result ?P ?E2)
        (instrument ?P ?IC)
        (measure ?E1
            (MeasureFn Volt ?N1)))
    (approximateValue ?N1 12))
Cars.kif 3130-3140
(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0))
Mid-level-ontology.kif 8661-8665

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 7325-7333 An object is larger than another object if and only if for all a real number, another real number and an unit of measure
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 11205-11211 The measure of an object is a real number metric ton(s) if and only if the measure of the object is the real number and 2205 pound mass(s)
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380 The measure of an object is a real number angular degree(s) if and only if the measure of the object is 60 and the real number arc minute(s)
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399 The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s)
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
Mid-level-ontology.kif 10945-10950 The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s)
(=>
    (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 ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (askPrice ?Object ?Price ?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 1945-1963
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (bidPrice ?Object ?Price ?Time)
        (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 1965-1983
(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (measure ?NORMAL ?AREA1)
            (measure ?ROOM ?AREA2)
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))
Hotel.kif 1140-1152
(=>
    (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 23619-23628
(=>
    (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
(=>
    (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
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))
Mid-level-ontology.kif 11118-11129
(=>
    (and
        (graphMeasure ?G ?M)
        (instance ?AN GraphNode)
        (graphPart ?AN ?G)
        (graphPart ?AA ?G)
        (instance ?AA GraphArc)
        (abstractCounterpart ?AN ?PN)
        (abstractCounterpart ?AA ?PA)
        (arcWeight ?AA
            (MeasureFn ?N ?M)))
    (measure ?PA
        (MeasureFn ?N ?M)))
Merge.kif 5816-5826
(=>
    (and
        (immediateInstance ?BIG ?CLASS)
        (immediateInstance ?NORMAL ?CLASS)
        (attribute ?BIG Oversized))
    (exists (?BIGSIZE ?NORMALSIZE)
        (and
            (measure ?BIG ?BIGSIZE)
            (measure ?NORMAL ?NORMALSIZE)
            (greaterThan ?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1129-1138
(=>
    (and
        (immediateInstance ?X ?CLASS)
        (immediateInstance ?Y ?CLASS)
        (attribute ?X ColdTemperature)
        (attribute ?Y HotTemperature))
    (exists (?TEMPX ?TEMPY)
        (and
            (measure ?X ?TEMPX)
            (instance ?TEMPX TemperatureMeasure)
            (measure ?Y ?TEMPY)
            (instance ?TEMPY TemperatureMeasure)
            (greaterThan ?TEMPY ?TEMPX))))
Mid-level-ontology.kif 23654-23666
(=>
    (and
        (instance ?ACCELERATE Accelerating)
        (agent ?ACCELERATE ?AGENT))
    (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn ?LENGTH1 ?TIME1)))
            (holdsDuring
                (EndFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn ?LENGTH2 ?TIME2)))
            (or
                (greaterThan ?LENGTH2 ?LENGTH1)
                (greaterThan ?TIME2 ?TIME1)))))
Mid-level-ontology.kif 14728-14738
(=>
    (and
        (instance ?ATOM Actinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 227 Amu)))
Mid-level-ontology.kif 26991-26995
(=>
    (and
        (instance ?ATOM Aluminum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 26.9815 Amu)))
Mid-level-ontology.kif 25733-25737
(=>
    (and
        (instance ?ATOM Americium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 243 Amu)))
Mid-level-ontology.kif 27091-27095
(=>
    (and
        (instance ?ATOM Antimony)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 121.75 Amu)))
Mid-level-ontology.kif 26329-26333
(=>
    (and
        (instance ?ATOM Argon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 39.948 Amu)))
Mid-level-ontology.kif 25811-25815

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