PerFn |
appearance as argument number 1 |
![]() |
(documentation PerFn ChineseLanguage "PerFn 把两个 PhysicalQuantity 的实例联系到由这两个实例 所组成的 FunctionQuantity。例如:(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFnGram)))表示2微克/ 千克的 FunctionQuantity。这个函数很有用因为它允许知识工程师随时编制新的 FunctionQuantity 实例。") | chinese_format.kif 2476-2479 | |
(documentation PerFn EnglishLanguage "PerFn maps two instances of PhysicalQuantity to the FunctionQuantity composed of these two instances. For example, (PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))) denotes the FunctionQuantity of 2 micrograms per kiogram. This function is useful, because it allows the knowledge engineer to dynamically generate instances of FunctionQuantity.") | Merge.kif 6660-6665 | |
(documentation PerFn JapaneseLanguage "PerFn は、PhysicalQuantity の2つのインスタンスを これら2つのインスタンスで構成される FunctionQuantity にマップする。 例:(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))) は、キログラム当たり2 マイクログラムの FunctionQuantity を示す。この関数は、ナレッジ エンジニアが FunctionQuantity のインスタンスを動的に生成できるため便利である。") | japanese_format.kif 1169-1173 | |
(domain PerFn 1 PhysicalQuantity) | Merge.kif 6655-6655 | PerFn の数値 1 引数は 物理量 の instance では |
(domain PerFn 2 PhysicalQuantity) | Merge.kif 6656-6656 | PerFn の数値 2 引数は 物理量 の instance では |
(instance PerFn BinaryFunction) | Merge.kif 6653-6653 | PerFn は 2変数関数 の instance では |
(instance PerFn TotalValuedRelation) | Merge.kif 6654-6654 | PerFn は 合計値関係 の instance では |
(range PerFn FunctionQuantity) | Merge.kif 6658-6658 | PerFn の range は 関数量 のインスタンス では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage PerFn "%2 %n 是 %1 的 per ") | domainEnglishFormat.kif 1939-1939 | |
(format ChineseTraditionalLanguage PerFn "%2 %n 是 %1 的 per ") | domainEnglishFormat.kif 1938-1938 | |
(format EnglishLanguage PerFn "the per of %1 and %2") | domainEnglishFormat.kif 1937-1937 | |
(subrelation DensityFn PerFn) | Merge.kif 6667-6667 | DensityFn は PerFn の subrelation では |
(subrelation SpeedFn PerFn) | Merge.kif 6679-6679 | SpeedFn は PerFn の subrelation では |
(termFormat ChineseLanguage PerFn "每") | domainEnglishFormat.kif 45104-45104 | SpeedFn は PerFn の subrelation では |
(termFormat ChineseTraditionalLanguage PerFn "每") | domainEnglishFormat.kif 45103-45103 | SpeedFn は PerFn の subrelation では |
(termFormat EnglishLanguage PerFn "per") | domainEnglishFormat.kif 45102-45102 | SpeedFn は PerFn の subrelation では |
antecedent |
![]() |
consequent |
![]() |
(=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?DURATION ?CURR) (and (instance ?CURR CurrencyMeasure) (instance ?DURATION TimeDuration) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 505-511 | |
(=> (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 1344-1358 |
|
(=> (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 3626-3641 |
|
(=> (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (exists (?DURATION ?CURR) (and (instance ?DURATION TimeDuration) (instance ?CURR CurrencyMeasure) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 459-465 | |
(=> (unitPrice ?ENT ?QUANT ?AGENT ?PS) (exists (?MEAS ?AMT ?UOM) (and (equal ?QUANT (PerFn ?MEAS (MeasureFn ?AMT ?UOM))) (instance ?MEAS CurrencyMeasure)))) |
Catalog.kif 402-407 |
statement |
![]() |
![]() |
![]() |