(=>
(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 6284-6295 |
If All of the following hold: (1) X is the unit in Y (2) Z is an instance of graph node (3) Z is a part of Y (4) W is a part of Y (5) W is an instance of graph arc (6) the abstract counterpart of V is Z (7) the abstract counterpart of U is W (8) the value of W is T, then the measure of U is T X(s) |
(=>
(measure ?OBJECT
(VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
(measure ?OBJECT
(SpeedFn ?DISTANCE ?TIME))) |
Merge.kif 6798-6800 |
If the measure of X is Y per Z in W in the direction V, then the measure of X is Y per Z |
(<=>
(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 7937-7945 |
X is larger than Y if and only if Z, W and V the measure of X is Z V(s) and the measure of Y is W V(s) and V is an instance of unit of lengthZ is greater than W |
(=>
(and
(instance ?D QuantityChange)
(patient ?D ?OBJ))
(exists (?N1 ?N2 ?T1 ?T2 ?U)
(and
(earlier ?T1 ?T2)
(holdsDuring ?T1
(measure ?OBJ
(MeasureFn ?N1 ?U)))
(holdsDuring ?T2
(measure ?OBJ
(MeasureFn ?N2 ?U)))
(not
(equal ?N1 ?N2))))) |
Merge.kif 11130-11143 |
If X is an instance of quantity change and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and equal Z and W |
(=>
(and
(instance ?D Increasing)
(patient ?D ?OBJ))
(exists (?N1 ?N2 ?T1 ?T2 ?U)
(and
(earlier ?T1 ?T2)
(holdsDuring ?T1
(measure ?OBJ
(MeasureFn ?N1 ?U)))
(holdsDuring ?T2
(measure ?OBJ
(MeasureFn ?N2 ?U)))
(greaterThan ?N1 ?N2)))) |
Merge.kif 11151-11164 |
If X is an instance of increasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is greater than W |
(=>
(and
(instance ?D Decreasing)
(patient ?D ?OBJ))
(exists (?N1 ?N2 ?T1 ?T2 ?U)
(and
(earlier ?T1 ?T2)
(holdsDuring ?T1
(measure ?OBJ
(MeasureFn ?N1 ?U)))
(holdsDuring ?T2
(measure ?OBJ
(MeasureFn ?N2 ?U)))
(lessThan ?N1 ?N2)))) |
Merge.kif 11193-11206 |
If X is an instance of decreasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is less than W |
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists (?QUANT ?UNIT)
(holdsDuring
(EndFn
(WhenFn ?MEAS))
(knows ?AGENT
(measure ?OBJ
(MeasureFn ?QUANT ?UNIT)))))) |
Merge.kif 12408-12415 |
If X is an instance of measuring, Y is an agent of X, and Z is a patient of X, then there exist W and V such that Y knows the measure of Z is W V(s) holds during the end of the time of existence of X |
(=>
(instance ?CLOUD WaterCloud)
(forall (?PART)
(=>
(and
(part ?PART ?CLOUD)
(not
(instance ?PART Water)))
(exists (?WATER ?MEASURE1 ?MEASURE2 ?U)
(and
(instance ?WATER Water)
(part ?WATER ?CLOUD)
(measure ?WATER
(MeasureFn ?MEASURE1 ?U))
(measure ?PART
(MeasureFn ?MEASURE2 ?U))
(greaterThan ?MEASURE1 ?MEASURE2)))))) |
Merge.kif 15092-15105 |
If X is an instance of water cloud, then For all Object Y: if Y is a part of X and Y is not an instance of water, then there exist Z, W,, , V and U such that Z is an instance of water and Z is a part of X and the measure of Z is W U(s) and the measure of Y is V U(s) and W is greater than V |
(=>
(and
(instance ?H Human)
(attribute ?H Fever))
(exists (?N)
(and
(measure ?H
(MeasureFn ?N FahrenheitDegree))
(greaterThan ?N 98.6)))) |
Mid-level-ontology.kif 7280-7288 |
If X is an instance of human and a fever is an attribute of X, then there exists Y such that the measure of X is Y fahrenheit degree(s) and Y is greater than 98.6 |
(=>
(equal
(MeasureFn ?X PoundForce)
(JankaHardnessFn ?CLASS))
(modalAttribute
(exists (?T ?W ?P ?B ?H ?S)
(and
(instance ?T ?CLASS)
(part ?W ?T)
(instance ?W Wood)
(instance ?P Pushing)
(destination ?P ?W)
(instance ?B Ball)
(material ?B Steel)
(patient ?P ?B)
(sphereRadius ?B
(MeasureFn 5.64 Millimeter))
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?W)
(surface ?S ?W)
(distance ?S ?H
(MeasureFn 5.64 Millimeter))
(measure ?P
(MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 10569-10592 |
If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
(=>
(equal
(MeasureFn
(PerFn
(MeasureFn ?F KilogramForce)
(MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
(VickersHardnessFn ?CLASS))
(modalAttribute
(exists (?SUB ?P ?D ?H ?S)
(and
(instance ?SUB ?CLASS)
(instance ?P Pushing)
(destination ?P ?SUB)
(instance ?D Diamond)
(shape ?D SquarePyramid)
(patient ?P ?D)
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?SUB)
(surface ?S ?H)
(totalArea ?S
(MeasureFn ?A SquareMillimeter))
(measure ?P
(MeasureFn ?F KilogramForce)))) Likely)) |
Mid-level-ontology.kif 10641-10662 |
If equal the per of X kilogram force(s) and Y square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of Z is, then the statement there exist W, V,, , U,, , T and S such that W is an instance of Z and V is an instance of pushing and V ends up at W and U is an instance of diamond and U is square pyramid and U is a patient of V and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of T and Y square millimeter(s) is a total area of S and the measure of V is X kilogram force(s) has the modal force of likely |
(=>
(most ?MOST ?WHOLE)
(exists (?HALF ?NUMBER1 ?NUMBER2 ?UNIT)
(and
(half ?HALF ?WHOLE)
(measure ?HALF
(MeasureFn ?NUMBER1 ?UNIT))
(measure ?MOST
(MeasureFn ?NUMBER2 ?UNIT))
(greaterThan ?NUMBER2 ?NUMBER1)))) |
Mid-level-ontology.kif 14784-14791 |
If X is most of Y, then there exist Z, W,, , V and U such that Z is half of Y and the measure of Z is W U(s) and the measure of X is V U(s) and V is greater than W |
(<=>
(measure ?OBJECT
(MeasureFn ?NUMBER OunceMass))
(measure ?OBJECT
(MeasureFn
(DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 14890-14895 |
The measure of X is Y Ounce(s) if and only if the measure of X is Y and 16.0 pound mass(s) |
(=>
(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 15068-15077 |
If the minimum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y has the modal force of unlikely |
(=>
(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 15079-15090 |
If the minimum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U is less than Y has the modal force of unlikely |
(=>
(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 15099-15108 |
If the maximum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y has the modal force of unlikely |
(=>
(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 15110-15121 |
If the maximum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U T(s) is greater than Y Z(s) has the modal force of unlikely |
(=>
(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 15129-15138 |
If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y and 1.5 has the modal force of unlikely |
(=>
(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 15140-15149 |
If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y and 0.5 has the modal force of unlikely |
(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 15168-15174 |
The measure of X is Y metric ton(s) if and only if the measure of X is Y and 2205.0 pound mass(s) |
(=>
(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 18761-18782 |
If X is an instance of accelerating and Y is an agent of X, then there exist Z, W,, , V,, , U,, , T and S such that the measure of Y is Z T(s) per V S(s) holds during the beginning of the time of existence of X and the measure of Y is W T(s) per U S(s) holds during the end of the time of existence of X and W is greater than Z or U is greater than V |
(=>
(and
(instance ?D Decelerating)
(agent ?D ?A))
(exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(and
(holdsDuring
(BeginFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L1 ?U1)
(MeasureFn ?T1 ?U2))))
(holdsDuring
(EndFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L2 ?U1)
(MeasureFn ?T2 ?U2))))
(or
(greaterThan ?L1 ?L2)
(greaterThan ?T1 ?T2))))) |
Mid-level-ontology.kif 18789-18809 |
If X is an instance of decelerating and Y is an agent of X, then there exist Z, W,, , V,, , U,, , T and S such that the measure of Y is Z T(s) per V S(s) holds during the beginning of the time of existence of X and the measure of Y is W T(s) per U S(s) holds during the end of the time of existence of X and Z is greater than W or V is greater than U |
(=>
(instance ?X HandGrenade)
(exists (?N)
(and
(measure ?X
(MeasureFn ?N PoundMass))
(lessThan ?N 10.0)))) |
Mid-level-ontology.kif 24162-24168 |
If X is an instance of hand grenade, then there exists Y such that the measure of X is Y pound mass(s) and Y is less than 10.0 |
(=>
(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 28255-28264 |
If X is an attribute of Y, X is an instance of temperature attribute, and Y is an instance of object, then there exists Z such that the measure of Y is Z, Z is an instance of temperature measure, and X is an attribute of Z |
(=>
(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 28290-28305 |
If X is an immediate instance of Y, Z is an immediate instance of Y, cold is an attribute of X, and hot is an attribute of Z, then there exist W, V and U such that the measure of X is W U(s) and U is an instance of unit of temperature and W is an instance of temperature measure and the measure of Z is V U(s) and V is an instance of temperature measure and V is greater than W |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
starts