Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PerFn
PerFn

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 の2つのインスタンスを これら2つのインスタンスで構成される FunctionQuantity にマップする。 例:(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))) は、キログラム当たり2 マイクログラムの 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 PerFn2変数関数instance では %n
(instance PerFn TotalValuedRelation) Merge.kif 9580-9580 PerFn合計値関係instance では %n
(range PerFn FunctionQuantity) Merge.kif 9584-9584 PerFnrange関数量 のインスタンス では %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 DensityFnPerFnsubrelation では %n
(subrelation SpeedFn PerFn) Merge.kif 9625-9625 SpeedFnPerFnsubrelation では %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
-------------------------


(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1325-1325 effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 の 1 の millionth Gram(s) and 1 の 1 の thousand Grams(s)
(equal
    (MeasureFn 1 SquareMile)
    (PerFn
        (MeasureFn 1 Mile)
        (MeasureFn 1 Mile)))
Mid-level-ontology.kif 11280-11284 1 の SquareMile(s) は PerFn 1 の Mile(s) and 1 の Mile(s) と equal では %n
(equal
    (MeasureFn 1 SquareYard)
    (PerFn
        (MeasureFn 1 YardLength)
        (MeasureFn 1 YardLength)))
Mid-level-ontology.kif 11290-11294 1 の SquareYard(s) は PerFn 1 の YardLength(s) and 1 の YardLength(s) と equal では %n
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 434-434 lethalDose AbrinToxin and PerFn 0.04 の 1 の millionth Gram(s) and 1 の 1 の thousand Grams(s)
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 310-310 lethalDose Batrachotoxin and PerFn 2.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 325-325 lethalDose BotulinumToxin and PerFn 0.001 の 1 の millionth Gram(s) and 1 の 1 の thousand Grams(s)
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1689-1689 lethalDose Diacetoxyscirpenol and PerFn 23 の 1 の thousandth Gram(s) and 1 の 1 の thousand Grams(s)
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 426-426 lethalDose RicinToxin and PerFn 3.0 の 1 の millionth Gram(s) and 1 の 1 の thousand Grams(s)
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 581-581 lethalDose Sarin and PerFn 100.0 の 1 の millionth Gram(s) and 1 の 1 の thousand Grams(s)
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1240-1240 lethalDose ShigaToxin and PerFn 0.002 の 1 の millionth Gram(s) and 1 の 1 の thousand Grams(s)
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 577-577 lethalDose Soman and PerFn 64.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1326-1326 lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 の 1 の millionth Gram(s) and 1 の 1 の thousand Grams(s)
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1694-1694 lethalDose T2Toxin and PerFn 5.2 の 1 の thousandth Gram(s) and 1 の 1 の thousand Grams(s)
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 594-594 lethalDose VX and PerFn 15.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)


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