| appearance as argument number 1 |
|
| (documentation PerFn ChineseLanguage "PerFn 把两个 PhysicalQuantity 的实例联系到由这两个实例 所组成的 FunctionQuantity。例如：(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFnGram)))表示2微克/ 千克的 FunctionQuantity。这个函数很有用因为它允许知识工程师随时编制新的 FunctionQuantity 实例。") | Merge.kif 9593-9596 | |
| (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 9586-9591 | |
| (documentation PerFn JapaneseLanguage "PerFn は、PhysicalQuantity の２つのインスタンスを これら２つのインスタンスで構成される FunctionQuantity にマップする。 例：(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))) は、キログラム当たり２ マイクログラムの FunctionQuantity を示す。この関数は、ナレッジ エンジニアが FunctionQuantity のインスタンスを動的に生成できるため便利である。") | Merge.kif 9598-9602 | |
| (domain PerFn 1 PhysicalQuantity) | Merge.kif 9581-9581 | PerFn の数値 1 引数は 物理量 の instance では %n |
| (domain PerFn 2 PhysicalQuantity) | Merge.kif 9582-9582 | PerFn の数値 2 引数は 物理量 の instance では %n |
| (instance PerFn BinaryFunction) | Merge.kif 9579-9579 | PerFn は 2変数関数 の instance では %n |
| (instance PerFn TotalValuedRelation) | Merge.kif 9580-9580 | PerFn は 合計値関係 の instance では %n |
| (range PerFn FunctionQuantity) | Merge.kif 9584-9584 | 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 9604-9604 | DensityFn は PerFn の subrelation では %n |
| (subrelation SpeedFn PerFn) | Merge.kif 9625-9625 | SpeedFn は PerFn の subrelation では %n |
| (termFormat ChineseLanguage PerFn "每") | domainEnglishFormat.kif 45031-45031 | termFormat ChineseLanguage, PerFn and "每" |
| (termFormat ChineseTraditionalLanguage PerFn "每") | domainEnglishFormat.kif 45030-45030 | termFormat ChineseTraditionalLanguage, PerFn and "每" |
| (termFormat EnglishLanguage PerFn "per") | domainEnglishFormat.kif 45029-45029 | termFormat EnglishLanguage, PerFn and "per" |
| antecedent |
|
|
| (=> (and (governorSpeed ?V ?Q) (equal ?FASTPROB (ProbabilityFn (measure ?V (PerFn ?L1 ?T1)))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (PerFn ?L2 ?T2)))) (greaterThan (PerFn ?L1 ?T1) (PerFn ?L2 ?T2))) (greaterThan ?SLOWPROB ?FASTPROB)) |
Cars.kif 2865-2879 |
|
| (=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE ?TIME)) (immediateInstance ?ITEM ?OBJ) (instance ?R Renting) (patient ?R ?ITEM) (possesses ?OBJ ?AGENT) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (and (during ?TIMEINT ?X) (instance ?X TimeInterval) (duration ?X ?DURATION) (lessThanOrEqualTo ?DURATION ?TIME)) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE)))))) |
Catalog.kif 450-472 | |
| (=> (effectiveDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 MassMeasure) (instance ?UNIT2 MassMeasure))) |
WMD.kif 797-801 | |
| (=> (lethalDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 MassMeasure) (instance ?UNIT2 MassMeasure))) |
WMD.kif 818-822 |
| consequent |
|
|
| (=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?DURATION ?CURR) (and (instance ?CURR CurrencyMeasure) (instance ?DURATION TimeDuration) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 485-491 | |
| (=> (instance ?HR HeavyRaining) (holdsDuring (WhenFn ?HR) (exists (?AREA) (and (instance ?AREA Region) (eventLocated ?HR ?AREA) (rainfallIntensity ?AREA (WhenFn ?HR) (PerFn (MeasureFn ?NUM Millimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 10) (greaterThan 50 ?NUM))))) |
Weather.kif 721-735 |
|
| (=> (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))))) |
Weather.kif 1375-1390 |
|
| (=> (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (exists (?DURATION ?CURR) (and (instance ?DURATION TimeDuration) (instance ?CURR CurrencyMeasure) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 442-448 | |
| (=> (unitPrice ?ENT ?QUANT ?AGENT ?PS) (exists (?MEAS ?AMT ?UOM) (and (equal ?QUANT (PerFn ?MEAS (MeasureFn ?AMT ?UOM))) (instance ?MEAS CurrencyMeasure)))) |
Catalog.kif 387-392 |
| statement |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners