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 | 域 每, 1 and PhysicalQuantity |
(domain PerFn 2 PhysicalQuantity) | Merge.kif 6631-6631 | 域 每, 2 and PhysicalQuantity |
(instance PerFn BinaryFunction) | Merge.kif 6628-6628 | 例 每 and BinaryFunction |
(instance PerFn TotalValuedRelation) | Merge.kif 6629-6629 | 例 每 and TotalValuedRelation |
(range PerFn FunctionQuantity) | Merge.kif 6633-6633 | 範圍 每 and FunctionQuantity |
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 | 子關係 密度 and 每 |
(subrelation SpeedFn PerFn) | Merge.kif 6654-6654 | 子關係 速度 and 每 |
(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 |