  PerFn
|
|
Sigma KEE - PerFn
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(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 |
(=>
(and
(resourceConsumption ?PROC ?QUANT)
(instance ?QUANT FunctionQuantity)
(resource ?PROC ?RES)
(equal ?QUANT
(PerFn
(MeasureFn ?Q ?U)
(MeasureFn ?DC ?DU)))
(duration
(WhenFn ?PROC)
(MeasureFn ?T ?DU))
(holdsDuring
(BeginFn
(WhenFn ?PROC))
(measure ?RES
(MeasureFn ?X ?U)))
(holdsDuring
(EndFn
(WhenFn ?PROC))
(measure ?RES
(MeasureFn ?Y ?U))))
(equal ?Y
(MeasureFn
(SubtractionFn ?X
(MultiplicationFn ?T
(DivisionFn ?Q ?DC))) ?U))) |
Mid-level-ontology.kif 18957-18983 |
If All of the following hold: (1) X amount as resource for the Process Y (2) X is an instance of function quantity (3) Z is a resource for Y (4) equal X and the per of W V(s) and U T(s) (5) duration of the time of existence of Y is S T(s) (6) the measure of Z is R V(s) holds during the beginning of the time of existence of Y (7) the measure of Z is Q V(s) holds during the end of the time of existence of Y, then equal Q and (R and S and W and U) V(s) |
(=>
(effectiveDose ?AGENT
(PerFn
(MeasureFn ?NUMBER1 ?UNIT1)
(MeasureFn ?NUMBER2 ?UNIT2)))
(and
(instance ?UNIT1 UnitOfMass)
(instance ?UNIT2 UnitOfMass))) |
WMD.kif 798-805 |
If the per of X Y(s) and Z W(s) is an effective dose of V, then Y is an instance of unit of mass and W is an instance of unit of mass |
(=>
(and
(equal
(MeasureFn ?Y McgPerKg)
(PerFn ?M1 ?M2))
(equal ?M1
(MeasureFn ?NUM1
(MicroFn Gram)))
(equal ?M2
(MeasureFn ?NUM2
(KiloFn Gram))))
(exists (?I ?B ?A)
(and
(instance ?I Ingesting)
(instance ?B BiologicallyActiveSubstance)
(instance ?A Organism)
(patient ?I ?B)
(agent ?I ?A)
(weight ?B ?M1)
(weight ?A ?M2)))) |
WMD.kif 818-835 |
If equal X micrograms per kilogram(s) and the per of Y and Z, equal Y and W one millionth of a gram(s), and equal Z and V 1 thousand grams(s), then All of the following hold: (1) there exist U, T (2) S such that U is an instance of ingesting (3) T is an instance of biologically active substance (4) S is an instance of organism (5) T is a patient of U (6) S is an agent of U (7) Y is a weight of T (8) Z is a weight of S |
(=>
(lethalDose ?AGENT
(PerFn
(MeasureFn ?NUMBER1 ?UNIT1)
(MeasureFn ?NUMBER2 ?UNIT2)))
(and
(instance ?UNIT1 UnitOfMass)
(instance ?UNIT2 UnitOfMass))) |
WMD.kif 855-862 |
If the per of X Y(s) and Z W(s) is a lethal dose of V, then Y is an instance of unit of mass and W is an instance of unit of mass |
|
consequent
|
|
|
(=>
(unitPrice ?ENT ?QUANT ?AGENT ?PS)
(exists (?MEAS ?AMT ?UOM)
(and
(equal ?QUANT
(PerFn ?MEAS
(MeasureFn ?AMT ?UOM)))
(instance ?MEAS CurrencyMeasure)))) |
Catalog.kif 402-407 |
If the unit price charged X under Y for Z is W, then there exist V, U and T such that equal Z and the per of V and U T(s) and V is an instance of currency measure |
(=>
(rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
(exists (?DURATION ?CURR)
(and
(instance ?DURATION TimeDuration)
(instance ?CURR CurrencyMeasure)
(equal ?QUANT
(PerFn ?CURR ?DURATION))))) |
Catalog.kif 459-465 |
If the price of X set by Y according to Z is W, then there exist V, U such that V is an instance of time duration, U is an instance of currency measure, equal W, the per of U, and V |
(=>
(contractedRentalPrice ?OBJ ?QUANT ?AGREE)
(exists (?DURATION ?CURR)
(and
(instance ?CURR CurrencyMeasure)
(instance ?DURATION TimeDuration)
(equal ?QUANT
(PerFn ?CURR ?DURATION))))) |
Catalog.kif 505-511 |
If X specifies the rental of Y for Z, then there exist W, V such that V is an instance of currency measure, W is an instance of time duration, equal Z, the per of V, and W |
(=>
(instance ?HR HeavyRaining)
(holdsDuring
(WhenFn ?HR)
(exists (?AREA ?NUM)
(and
(instance ?AREA Region)
(eventLocated ?HR ?AREA)
(rainfallIntensity ?AREA
(WhenFn ?HR)
(PerFn
(MeasureFn ?NUM Millimeter)
(MeasureFn 1 HourDuration)))
(greaterThan ?NUM 10.0)
(greaterThan 50.0 ?NUM))))) |
Weather.kif 1789-1803 |
If X is an instance of heavy raining, then there exist Y and Z such that Y is an instance of region and X is located at Y and the rate of rain in Y during the time of existence of X is the per of Z millimeter(s) and 1 hour duration(s) and Z is greater than 10.0 and 50.0 is greater than Z holds during the time of existence of X |
(=>
(instance ?SNOWSTORM Snowstorm)
(holdsDuring
(WhenFn ?SNOWSTORM)
(exists (?SNOW ?AREA ?NUM)
(and
(instance ?SNOW Snowing)
(instance ?AREA GeographicArea)
(eventLocated ?SNOW ?AREA)
(subProcess ?SNOW ?SNOWSTORM)
(snowfallIntensity ?AREA
(WhenFn ?SNOW)
(PerFn
(MeasureFn ?NUM Centimeter)
(MeasureFn 1 HourDuration)))
(greaterThan ?NUM 5.0))))) |
Weather.kif 4208-4223 |
If X is an instance of snow storm, then there exist Y, Z and W such that Y is an instance of snowing and Z is an instance of geographic area and Y is located at Z and Y is a subprocess of X and the rate of snow falling at Z during the time of existence of Y is the per of W centimeter(s) and 1 hour duration(s) and W is greater than 5.0 holds during the time of existence of X |
|
