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
-------------------------


s__documentation(s__PerFn__m,s__ChineseLanguage,'"PerFn 把两个 PhysicalQuantity 的实例联系到由这两个实例 所组成的 FunctionQuantity。例如:(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFnGram)))表示2微克/ 千克的 FunctionQuantity。这个函数很有用因为它允许知识工程师随时编制新的 FunctionQuantity 实例。"')

chinese_format.kif 2476-2479
s__documentation(s__PerFn__m,s__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 6425-6430
s__domain(s__PerFn__m,n__1,s__PhysicalQuantity)

Merge.kif 6420-6420 The number 1 argument of per is an instance of physical quantity
s__domain(s__PerFn__m,n__2,s__PhysicalQuantity)

Merge.kif 6421-6421 The number 2 argument of per is an instance of physical quantity
s__instance(s__BinaryFunction,s__Class)

s__instance(s__PerFn__m,s__BinaryFunction)

Merge.kif 6418-6418 Per is an instance of binary function
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__PerFn__m,s__TotalValuedRelation)

Merge.kif 6419-6419 Per is an instance of total valued relation
s__range(s__PerFn__m,s__FunctionQuantity)

Merge.kif 6423-6423 The range of per is an instance of function quantity

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__PerFn__m,'"%2 %n 是 %1 的 per "')

domainEnglishFormat.kif 1935-1935
s__format(s__ChineseTraditionalLanguage,s__PerFn__m,'"%2 %n 是 %1 的 per "')

domainEnglishFormat.kif 1934-1934
s__format(s__EnglishLanguage,s__PerFn__m,'"the per of %1 and %2"')

domainEnglishFormat.kif 1933-1933
s__subrelation(s__DensityFn__m,s__PerFn__m)

Merge.kif 6432-6432 Density is a subrelation of per
s__subrelation(s__SpeedFn__m,s__PerFn__m)

Merge.kif 6444-6444 Speed is a subrelation of per
s__termFormat(s__ChineseLanguage,s__PerFn__m,'"每"')

domainEnglishFormat.kif 45085-45085
s__termFormat(s__ChineseTraditionalLanguage,s__PerFn__m,'"每"')

domainEnglishFormat.kif 45084-45084
s__termFormat(s__EnglishLanguage,s__PerFn__m,'"per"')

domainEnglishFormat.kif 45083-45083

antecedent
-------------------------


( ! [V__M1,V__M2,V__NUM1,V__NUM2,V__Y] :
   (((s__instance(V__M1,s__MassMeasure) &
         s__instance(V__M2,s__MassMeasure) &
         s__instance(V__NUM1,s__RealNumber) &
         s__instance(V__NUM2,s__RealNumber) &
         s__instance(V__Y,s__RealNumber))
       =>
       ((((s__MeasureFn(V__Y,s__McgPerKg) = s__PerFn(V__M1,V__M2))
           &
           (V__M1 = s__MeasureFn(V__NUM1,s__MicroFn(s__Gram)))
         &
         (V__M2 = s__MeasureFn(V__NUM2,s__KiloFn(s__Gram))))
     =>
     (( ? [V__I, V__B, V__A] :
         ((s__instance(V__I,s__Ingesting) &
             s__instance(V__B,s__BiologicallyActiveSubstance) &
             s__instance(V__A,s__Organism) &
             s__patient(V__I,V__B)
           &
           s__agent(V__I,V__A)
         &
         s__weight(V__B,V__M1)
       &
       s__weight(V__A,V__M2))))))))
)
)

WMD.kif 818-835
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483
( ! [V__AGENT,V__NUMBER1,V__NUMBER2,V__UNIT2,V__UNIT1] :
   (((s__subclass(V__AGENT,s__BiochemicalAgent) &
         s__instance(V__NUMBER1,s__RealNumber) &
         s__instance(V__NUMBER2,s__RealNumber) &
         s__instance(V__UNIT2,s__UnitOfMeasure) &
         s__instance(V__UNIT1,s__UnitOfMeasure))
       =>
       ((s__effectiveDose(V__AGENT,s__PerFn(s__MeasureFn(V__NUMBER1,V__UNIT1)
        ,s__MeasureFn(V__NUMBER2,V__UNIT2)))
   =>
   ((s__instance(V__UNIT1,s__UnitOfMass) &
       s__instance(V__UNIT2,s__UnitOfMass))))))
)
)

WMD.kif 798-805
( ! [V__AGENT,V__NUMBER1,V__NUMBER2,V__UNIT2,V__UNIT1] :
   (((s__subclass(V__AGENT,s__BiochemicalAgent) &
         s__instance(V__NUMBER1,s__RealNumber) &
         s__instance(V__NUMBER2,s__RealNumber) &
         s__instance(V__UNIT2,s__UnitOfMeasure) &
         s__instance(V__UNIT1,s__UnitOfMeasure))
       =>
       ((s__lethalDose(V__AGENT,s__PerFn(s__MeasureFn(V__NUMBER1,V__UNIT1)
        ,s__MeasureFn(V__NUMBER2,V__UNIT2)))
   =>
   ((s__instance(V__UNIT1,s__UnitOfMass) &
       s__instance(V__UNIT2,s__UnitOfMass))))))
)
)

WMD.kif 855-862

consequent
-------------------------


( ! [V__OBJ,V__QUANT,V__AGREE] :
   (((s__subclass(V__OBJ,s__Physical) &
         s__instance(V__QUANT,s__FunctionQuantity) &
         s__instance(V__AGREE,s__Agreement))
       =>
       ((s__contractedRentalPrice(V__OBJ,V__QUANT,V__AGREE)
         =>
         (( ? [V__DURATION, V__CURR] :
             ((s__instance(V__CURR,s__CurrencyMeasure) &
                 s__instance(V__DURATION,s__TimeDuration) &
                 (V__QUANT = s__PerFn(V__CURR,V__DURATION)))))))))
)
)

Catalog.kif 496-502
No TPTP formula. May not be expressible in strict first order. Weather.kif 1109-1123
No TPTP formula. May not be expressible in strict first order. Weather.kif 2933-2948
( ! [V__AGENT,V__PS,V__OBJ,V__QUANT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__PS,s__PricingScheme) &
         s__subclass(V__OBJ,s__Physical) &
         s__instance(V__QUANT,s__FunctionQuantity))
       =>
       ((s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
         =>
         (( ? [V__DURATION, V__CURR] :
             ((s__instance(V__DURATION,s__TimeDuration) &
                 s__instance(V__CURR,s__CurrencyMeasure) &
                 (V__QUANT = s__PerFn(V__CURR,V__DURATION)))))))))
)
)

Catalog.kif 450-456
( ! [V__AGENT,V__ENT,V__PS,V__QUANT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__subclass(V__ENT,s__Entity) &
         s__instance(V__PS,s__PricingScheme) &
         s__instance(V__QUANT,s__FunctionQuantity))
       =>
       ((s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS)
         =>
         (( ? [V__MEAS, V__AMT, V__UOM] :
             ((s__instance(V__AMT,s__RealNumber) &
                 s__instance(V__UOM,s__UnitOfMeasure) &
                 ((V__QUANT = s__PerFn(V__MEAS,s__MeasureFn(V__AMT,V__UOM)))
               &
               s__instance(V__MEAS,s__CurrencyMeasure)))))))))
)
)

Catalog.kif 393-398

statement
-------------------------


s__effectiveDose(s__StaphylococcalEnterotoxinB,s__PerFn(s__MeasureFn(n__0_0004,s__MicroFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 1409-1409 The per of 0.0004 one millionth of a gram(s) and 1 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b
(s__MeasureFn(n__1,s__SquareMile) = s__PerFn(s__MeasureFn(n__1,s__Mile),s__MeasureFn(n__1,s__Mile)))

Mid-level-ontology.kif 12888-12892 1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s)
(s__MeasureFn(n__1,s__SquareYard) = s__PerFn(s__MeasureFn(n__1,s__YardLength),s__MeasureFn(n__1,s__YardLength)))

Mid-level-ontology.kif 12898-12902 1 Square yard(s) is equal to the per of 1 yard length(s) and 1 yard length(s)
s__lethalDose(s__AbrinToxin,s__PerFn(s__MeasureFn(n__0_04,s__MicroFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 434-434 The per of 0.04 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of abrin toxin
s__lethalDose(s__Batrachotoxin,s__PerFn(s__MeasureFn(n__2_0,s__MicroFn(s__Gram))
,s__MeasureFn(n__1_0,s__KiloFn(s__Gram))))

WMD.kif 310-310 The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin
s__lethalDose(s__BotulinumToxin,s__PerFn(s__MeasureFn(n__0_001,s__MicroFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 325-325 The per of 0.001 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of botulinum toxin
s__lethalDose(s__Diacetoxyscirpenol,s__PerFn(s__MeasureFn(n__23,s__MilliFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 1779-1779 The per of 23 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
s__lethalDose(s__RicinToxin,s__PerFn(s__MeasureFn(n__3_0,s__MicroFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 426-426 The per of 3.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of ricin toxin
s__lethalDose(s__Sarin,s__PerFn(s__MeasureFn(n__100_0,s__MicroFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 581-581 The per of 100.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of sarin
s__lethalDose(s__ShigaToxin,s__PerFn(s__MeasureFn(n__0_002,s__MicroFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 1324-1324 The per of 0.002 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of shiga toxin
s__lethalDose(s__Soman,s__PerFn(s__MeasureFn(n__64_0,s__MicroFn(s__Gram))
,s__MeasureFn(n__1_0,s__KiloFn(s__Gram))))

WMD.kif 577-577 The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman
s__lethalDose(s__StaphylococcalEnterotoxinB,s__PerFn(s__MeasureFn(n__0_02,s__MicroFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 1410-1410 The per of 0.02 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b
s__lethalDose(s__T2Toxin,s__PerFn(s__MeasureFn(n__5_2,s__MilliFn(s__Gram))
,s__MeasureFn(n__1,s__KiloFn(s__Gram))))

WMD.kif 1784-1784 The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin
s__lethalDose(s__VX,s__PerFn(s__MeasureFn(n__15_0,s__MicroFn(s__Gram))
,s__MeasureFn(n__1_0,s__KiloFn(s__Gram))))

WMD.kif 594-594 The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX


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 3.0 is open source software produced by Articulate Software and its partners