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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MicroFn

 Sigma KEE - MicroFn
MicroFn

appearance as argument number 1
-------------------------


(documentation MicroFn ChineseLanguage "这是一个 UnaryFunction，它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000之一的 UnitOfMeasure 上。 例如：(MicroFn Meter)是 .000001 Meters.") chinese_format.kif 2455-2457
(documentation MicroFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .000001 units of the original UnitOfMeasure. For example, (MicroFn Meter) is .000001 Meters.") Merge.kif 6542-6544
(documentation MicroFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の.000001 単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。 例：(MicroFn Meter)は .000001 M である。") japanese_format.kif 1147-1149
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6539-6539 百万分之一函数 的 1 数量 是 测量单位 的 instance
(instance MicroFn UnitOfMeasureMultiplier) Merge.kif 6538-6538 百万分之一函数 是 UnitOfMeasureMultiplier 的 instance
(range MicroFn UnitOfMeasure) Merge.kif 6540-6540 百万分之一函数 的 range 是 测量单位 的实例

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


(format ChineseLanguage MicroFn "%1 的百万分之一") chinese_format.kif 645-645
(format EnglishLanguage MicroFn "one millionth of a %1") english_format.kif 648-648
(format FrenchLanguage MicroFn "un millioni�me de %1") french_format.kif 389-389
(format ItalianLanguage MicroFn "un milionesimo di %1") relations-it.txt 186-186
(format JapaneseLanguage MicroFn "1 の millionth %1") japanese_format.kif 2119-2119
(format PortugueseLanguage MicroFn "um milhonesimo de %1") portuguese_format.kif 341-341
(format de MicroFn "ein millionstel einer %1") relations-de.txt 842-842
(format hi MicroFn "%1 kaa dasa laakhavaan") relations-hindi.txt 224-224
(format ro MicroFn "o millionth%t{milionime} dintr-un(o) %1") relations-ro.kif 411-411
(format sv MicroFn "en miljondel av %1") relations-sv.txt 432-432
(termFormat ChineseLanguage MicroFn "微") domainEnglishFormat.kif 37433-37433
(termFormat ChineseLanguage MicroFn "百万分之一函数") chinese_format.kif 646-646
(termFormat ChineseTraditionalLanguage MicroFn "微") domainEnglishFormat.kif 37432-37432
(termFormat EnglishLanguage MicroFn "micro") domainEnglishFormat.kif 37431-37431

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
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))		 Merge.kif 6546-6550

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


(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1439-1439 1.0 公克 的一千倍 是 0.0004 公克 的百万分之一 的 per 是 葡萄球菌肠毒素b 的 effective 剂量
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 439-439 1.0 公克 的一千倍 是 0.04 公克 的百万分之一 的 per 是 abrin毒素 的 lethal 剂量
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 310-310 1.0 公克 的一千倍 是 2.0 公克 的百万分之一 的 per 是 batrachotoxin 的 lethal 剂量
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 325-325 1.0 公克 的一千倍 是 0.001 公克 的百万分之一 的 per 是 肉毒杆菌毒素 的 lethal 剂量
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 431-431 1.0 公克 的一千倍 是 3.0 公克 的百万分之一 的 per 是 蓖麻毒素 的 lethal 剂量
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 586-586 1.0 公克 的一千倍 是 100.0 公克 的百万分之一 的 per 是 沙林 的 lethal 剂量
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1339-1339 1.0 公克 的一千倍 是 0.002 公克 的百万分之一 的 per 是 志贺毒素 的 lethal 剂量
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 582-582 1.0 公克 的一千倍 是 64.0 公克 的百万分之一 的 per 是 梭曼 的 lethal 剂量
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1440-1440 1.0 公克 的一千倍 是 0.02 公克 的百万分之一 的 per 是 葡萄球菌肠毒素b 的 lethal 剂量
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 599-599 1.0 公克 的一千倍 是 15.0 公克 的百万分之一 的 per 是 VX 的 lethal 剂量


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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