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 实例。") 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 6305-6310
(domain PerFn 1 PhysicalQuantity) Merge.kif 6300-6300 domain PerFn, 1 and PhysicalQuantity
(domain PerFn 2 PhysicalQuantity) Merge.kif 6301-6301 domain PerFn, 2 and PhysicalQuantity
(instance PerFn BinaryFunction) Merge.kif 6298-6298 instance PerFn and BinaryFunction
(instance PerFn TotalValuedRelation) Merge.kif 6299-6299 instance PerFn and TotalValuedRelation
(range PerFn FunctionQuantity) Merge.kif 6303-6303 range PerFn 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 6312-6312 subrelation DensityFn and PerFn
(subrelation SpeedFn PerFn) Merge.kif 6324-6324 subrelation SpeedFn and PerFn
(termFormat ChineseLanguage PerFn "每") domainEnglishFormat.kif 45001-45001
(termFormat ChineseTraditionalLanguage PerFn "每") domainEnglishFormat.kif 45000-45000
(termFormat EnglishLanguage PerFn "per") domainEnglishFormat.kif 44999-44999

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 2869-2883
(=>
    (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 798-805
(=>
    (lethalDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 MassMeasure)
        (instance ?UNIT2 MassMeasure)))
WMD.kif 822-829

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 720-734
(=>
    (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 1471-1486
(=>
    (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 1342-1342 effectiveDose StaphylococcalEnterotoxinB and PerFn MeasureFn 0.0004 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(equal
    (MeasureFn 1 SquareMile)
    (PerFn
        (MeasureFn 1 Mile)
        (MeasureFn 1 Mile)))
Mid-level-ontology.kif 11285-11289 equal MeasureFn 1 and SquareMile and PerFn MeasureFn 1 and Mile and MeasureFn 1 and Mile
(equal
    (MeasureFn 1 SquareYard)
    (PerFn
        (MeasureFn 1 YardLength)
        (MeasureFn 1 YardLength)))
Mid-level-ontology.kif 11295-11299 equal MeasureFn 1 and SquareYard and PerFn MeasureFn 1 and YardLength and MeasureFn 1 and YardLength
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 434-434 lethalDose AbrinToxin and PerFn MeasureFn 0.04 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 310-310 lethalDose Batrachotoxin and PerFn MeasureFn 2.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 325-325 lethalDose BotulinumToxin and PerFn MeasureFn 0.001 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1706-1706 lethalDose Diacetoxyscirpenol and PerFn MeasureFn 23 and MilliFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 426-426 lethalDose RicinToxin and PerFn MeasureFn 3.0 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 581-581 lethalDose Sarin and PerFn MeasureFn 100.0 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1257-1257 lethalDose ShigaToxin and PerFn MeasureFn 0.002 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 577-577 lethalDose Soman and PerFn MeasureFn 64.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1343-1343 lethalDose StaphylococcalEnterotoxinB and PerFn MeasureFn 0.02 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1711-1711 lethalDose T2Toxin and PerFn MeasureFn 5.2 and MilliFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 594-594 lethalDose VX and PerFn MeasureFn 15.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram


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