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 6660-6665
(documentation PerFn JapaneseLanguage "PerFn は、PhysicalQuantity の２つのインスタンスを これら２つのインスタンスで構成される FunctionQuantity にマップする。　例：(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))) は、キログラム当たり２ マイクログラムの FunctionQuantity を示す。この関数は、ナレッジ エンジニアが FunctionQuantity のインスタンスを動的に生成できるため便利である。") japanese_format.kif 1169-1173
(domain PerFn 1 PhysicalQuantity) Merge.kif 6655-6655 域 每, 1 and PhysicalQuantity
(domain PerFn 2 PhysicalQuantity) Merge.kif 6656-6656 域 每, 2 and PhysicalQuantity
(instance PerFn BinaryFunction) Merge.kif 6653-6653 例 每 and BinaryFunction
(instance PerFn TotalValuedRelation) Merge.kif 6654-6654 例 每 and TotalValuedRelation
(range PerFn FunctionQuantity) Merge.kif 6658-6658 範圍 每 and FunctionQuantity

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


(format ChineseLanguage PerFn "%2 %n 是 %1 的 per ") domainEnglishFormat.kif 1939-1939
(format ChineseTraditionalLanguage PerFn "%2 %n 是 %1 的 per ") domainEnglishFormat.kif 1938-1938
(format EnglishLanguage PerFn "the per of %1 and %2") domainEnglishFormat.kif 1937-1937
(subrelation DensityFn PerFn) Merge.kif 6667-6667 子關係 密度 and 每
(subrelation SpeedFn PerFn) Merge.kif 6679-6679 子關係 速度 and 每
(termFormat ChineseLanguage PerFn "每") domainEnglishFormat.kif 45104-45104 子關係 速度 and 每
(termFormat ChineseTraditionalLanguage PerFn "每") domainEnglishFormat.kif 45103-45103 子關係 速度 and 每
(termFormat EnglishLanguage PerFn "per") domainEnglishFormat.kif 45102-45102 子關係 速度 and 每

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


(=>
    (and
        (equal
            (MeasureFn ?Y McgPerKg)
            (PerFn ?M1 ?M2))
        (equal ?M1
            (MeasureFn ?NUM1
                (MicroFn Gram)))
        (equal ?M2
            (MeasureFn ?NUM2
                (KiloFn Gram))))
    (exists (?I ?B ?A)
        (and
            (instance ?I Ingesting)
            (instance ?B BiologicallyActiveSubstance)
            (instance ?A Organism)
            (patient ?I ?B)
            (agent ?I ?A)
            (weight ?B ?M1)
            (weight ?A ?M2))))		 WMD.kif 823-840
(=>
    (and
        (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
        (equal ?QUANT
            (PerFn ?PRICE
                (measure ?TIME ?U)))
        (instance ?U UnitOfDuration)
        (immediateInstance ?ITEM ?OBJ)
        (instance ?R Renting)
        (patient ?R ?ITEM)
        (agent ?R ?CUSTOMER)
        (time ?R ?TIMEINT))
    (forall (?X)
        (=>
            (exists (?DURATION)
                (and
                    (during ?TIMEINT ?X)
                    (instance ?X TimeInterval)
                    (duration ?X
                        (MeasureFn ?DURATION ?U))
                    (lessThanOrEqualTo ?DURATION ?TIME)))
            (exists (?P)
                (and
                    (instance ?P Payment)
                    (destination ?P ?AGENT)
                    (agent ?P ?CUSTOMER)
                    (transactionAmount ?P ?PRICE))))))		 Catalog.kif 467-492
(=>
    (and
        (resourceConsumption ?PROC ?QUANT)
        (instance ?QUANT FunctionQuantity)
        (resource ?PROC ?RES)
        (equal ?QUANT
            (PerFn
                (MeasureFn ?Q ?U)
                (MeasureFn ?DC ?DU)))
        (duration
            (WhenFn ?PROC)
            (MeasureFn ?T ?DU))
        (holdsDuring
            (BeginFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?X ?U)))
        (holdsDuring
            (EndFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?Y ?U))))
    (equal ?Y
        (MeasureFn
            (SubtractionFn ?X
                (MultiplicationFn ?T
                    (DivisionFn ?Q ?DC))) ?U)))		 Mid-level-ontology.kif 18748-18774
(=>
    (effectiveDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 UnitOfMass)
        (instance ?UNIT2 UnitOfMass)))		 WMD.kif 803-810
(=>
    (equal
        (MeasureFn
            (PerFn
                (MeasureFn ?F KilogramForce)
                (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
        (VickersHardnessFn ?CLASS))
    (modalAttribute
        (exists (?SUB ?P ?D ?H ?S)
            (and
                (instance ?SUB ?CLASS)
                (instance ?P Pushing)
                (destination ?P ?SUB)
                (instance ?D Diamond)
                (shape ?D SquarePyramid)
                (patient ?P ?D)
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?SUB)
                (surface ?S ?H)
                (totalArea ?S
                    (MeasureFn ?A SquareMillimeter))
                (measure ?P
                    (MeasureFn ?F KilogramForce)))) Likely))		 Mid-level-ontology.kif 10473-10494
(=>
    (lethalDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 UnitOfMass)
        (instance ?UNIT2 UnitOfMass)))		 WMD.kif 860-867

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 1344-1358
(=>
    (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 3770-3785
(=>
    (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
-------------------------


(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1439-1439 測量 1.0 and 千 公克 是 測量 0.0004 and 微 公克 的 per 是 葡萄球菌腸毒素b 的 effective 劑量
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 439-439 測量 1.0 and 千 公克 是 測量 0.04 and 微 公克 的 per 是 abrin毒素 的 lethal 劑量
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 310-310 測量 1.0 and 千 公克 是 測量 2.0 and 微 公克 的 per 是 batrachotoxin 的 lethal 劑量
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 325-325 測量 1.0 and 千 公克 是 測量 0.001 and 微 公克 的 per 是 肉毒桿菌毒素 的 lethal 劑量
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23.0
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1840-1840 測量 1.0 and 千 公克 是 測量 23.0 and 毫 公克 的 per 是 二乙酯scirpenol 的 lethal 劑量
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 431-431 測量 1.0 and 千 公克 是 測量 3.0 and 微 公克 的 per 是 蓖麻毒素 的 lethal 劑量
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 586-586 測量 1.0 and 千 公克 是 測量 100.0 and 微 公克 的 per 是 沙林 的 lethal 劑量
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1339-1339 測量 1.0 and 千 公克 是 測量 0.002 and 微 公克 的 per 是 志賀毒素 的 lethal 劑量
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 582-582 測量 1.0 and 千 公克 是 測量 64.0 and 微 公克 的 per 是 梭曼 的 lethal 劑量
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1440-1440 測量 1.0 and 千 公克 是 測量 0.02 and 微 公克 的 per 是 葡萄球菌腸毒素b 的 lethal 劑量
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1845-1845 測量 1.0 and 千 公克 是 測量 5.2 and 毫 公克 的 per 是 t2毒素 的 lethal 劑量
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 599-599 測量 1.0 and 千 公克 是 測量 15.0 and 微 公克 的 per 是 VX 的 lethal 劑量


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