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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KiloFn

Sigma KEE - KiloFn
KiloFn

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


(documentation KiloFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000倍的 UnitOfMeasure 上。 例如: (KiloFn Gram) 是 1,000 Grams。") chinese_format.kif 2440-2442
(documentation KiloFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000 units of the original UnitOfMeasure. For example, (KiloFn Gram) is 1,000 Grams.") Merge.kif 6471-6473
(documentation KiloFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000 単位に等しい UnitOfMeasureUnitOfMeasure をマップする。例:(KiloFn Gram) は、1,000 Grams である。") japanese_format.kif 1132-1134
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6468-6468 千倍函数 的 1 数量 是 测量单位instance
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 6467-6467 千倍函数UnitOfMeasureMultiplierinstance
(range KiloFn UnitOfMeasure) Merge.kif 6469-6469 千倍函数range测量单位 的实例

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


(format ChineseLanguage KiloFn "%1 的一千倍") chinese_format.kif 635-635
(format EnglishLanguage KiloFn "1 thousand %1s") english_format.kif 638-638
(format FrenchLanguage KiloFn "1 millier %1s") french_format.kif 384-384
(format ItalianLanguage KiloFn "1 mille %1s") relations-it.txt 158-158
(format JapaneseLanguage KiloFn "1 の thousand %1s") japanese_format.kif 2114-2114
(format PortugueseLanguage KiloFn "1 mil %1s") portuguese_format.kif 336-336
(format de KiloFn "1 tausend %1") relations-de.txt 831-831
(format hi KiloFn "1 hajaara %1") relations-hindi.txt 197-197
(format ro KiloFn "1 thousand%t{mie} de %1") relations-ro.kif 406-406
(format sv KiloFn "1 tusen %1s") relations-sv.txt 427-427
(format tg KiloFn "1 libo ng %1") relations-tg.txt 316-316
(termFormat ChineseLanguage KiloFn "千") domainEnglishFormat.kif 32545-32545
(termFormat ChineseLanguage KiloFn "千倍函数") chinese_format.kif 636-636
(termFormat ChineseTraditionalLanguage KiloFn "千") domainEnglishFormat.kif 32544-32544
(termFormat EnglishLanguage KiloFn "kilo") domainEnglishFormat.kif 32543-32543
(termFormat tg KiloFn "tungkulin ng libo") relations-tg.txt 317-317

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 ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))
Merge.kif 6475-6479
(=>
    (and
        (roomTempState ?C ?PS)
        (instance ?S ?C)
        (holdsDuring ?T
            (roomTempState ?C Liquid))
        (measure ?S
            (MeasureFn 101
                (KiloFn Pascal))))
    (holdsDuring ?T
        (measure ?S
            (MeasureFn 68 FahrenheitDegree))))
Mid-level-ontology.kif 31678-31689

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 6503-6507
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 6517-6521
(=>
    (and
        (origin AntarcticCircumpolarCurrent ?START)
        (destination AntarcticCircumpolarCurrent ?FINISH))
    (distance ?START ?FINISH
        (MeasureFn 21000.0
            (KiloFn Meter))))
Geography.kif 4697-4703
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3869-3875
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3894-3901
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL Collection)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (member ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (located ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))
Food.kif 799-834

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


(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1439-1439 1.0 公克 的一千倍 是 0.0004 公克 的百万分之一 的 per葡萄球菌肠毒素beffective 剂量
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))
Geography.kif 3973-3973 平方千米 equal 仪表 的一千倍 的 square 单位
(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968.0
        (KiloFn Meter)))
Geography.kif 4671-4674 南部海洋南极洲shorelinelength 是 17968.0 仪表 的一千倍
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 439-439 1.0 公克 的一千倍 是 0.04 公克 的百万分之一 的 perabrin毒素lethal 剂量
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 310-310 1.0 公克 的一千倍 是 2.0 公克 的百万分之一 的 perbatrachotoxinlethal 剂量
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 325-325 1.0 公克 的一千倍 是 0.001 公克 的百万分之一 的 per肉毒杆菌毒素lethal 剂量
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23.0
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1840-1840 1.0 公克 的一千倍 是 23.0 公克 的千分之一 的 per二乙酯scirpenollethal 剂量
(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葡萄球菌肠毒素blethal 剂量
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1845-1845 1.0 公克 的一千倍 是 5.2 公克 的千分之一 的 pert2毒素lethal 剂量
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 599-599 1.0 公克 的一千倍 是 15.0 公克 的百万分之一 的 perVXlethal 剂量


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