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 6635-6640 | |
(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 6630-6630 | PerFn の数値 1 引数は 物理量 の instance では %n |
(domain PerFn 2 PhysicalQuantity) | Merge.kif 6631-6631 | PerFn の数値 2 引数は 物理量 の instance では %n |
(instance PerFn BinaryFunction) | Merge.kif 6628-6628 | PerFn は 2変数関数 の instance では %n |
(instance PerFn TotalValuedRelation) | Merge.kif 6629-6629 | PerFn は 合計値関係 の instance では %n |
(range PerFn FunctionQuantity) | Merge.kif 6633-6633 | PerFn の range は 関数量 のインスタンス では %n |
appearance as argument number 2 |
(format ChineseLanguage PerFn "%2 %n 是 %1 的 per ") | domainEnglishFormat.kif 1935-1935 | |
(format ChineseTraditionalLanguage PerFn "%2 %n 是 %1 的 per ") | domainEnglishFormat.kif 1934-1934 | |
(format EnglishLanguage PerFn "the per of %1 and %2") | domainEnglishFormat.kif 1933-1933 | |
(subrelation DensityFn PerFn) | Merge.kif 6642-6642 | DensityFn は PerFn の subrelation では %n |
(subrelation SpeedFn PerFn) | Merge.kif 6654-6654 | SpeedFn は PerFn の subrelation では %n |
(termFormat ChineseLanguage PerFn "每") | domainEnglishFormat.kif 45102-45102 | |
(termFormat ChineseTraditionalLanguage PerFn "每") | domainEnglishFormat.kif 45101-45101 | |
(termFormat EnglishLanguage PerFn "per") | domainEnglishFormat.kif 45100-45100 |
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 1109-1123 |
|
(=> (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 2940-2955 |
|
(=> (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 |