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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KiloFn
KiloFn

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


(documentation KiloFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000倍的 UnitOfMeasure 上。 例如: (KiloFn Gram) 是 1,000 Grams。") Merge.kif 9313-9315
(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 9309-9311
(documentation KiloFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000 単位に等しい UnitOfMeasureUnitOfMeasure をマップする。例:(KiloFn Gram) は、1,000 Grams である。") Merge.kif 9317-9319
(domain KiloFn 1 UnitOfMeasure) Merge.kif 9306-9306 The number 1 argument of kilo is an instance of unit of measure
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 9305-9305 Kilo is an instance of UnitOfMeasureMultiplier
(range KiloFn UnitOfMeasure) Merge.kif 9307-9307 The range of kilo is an instance of unit of measure

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


(format ChineseLanguage KiloFn "%1 的一千倍") chinese_format.kif 635-635
(format EnglishLanguage KiloFn "1 thousand %1s") english_format.kif 880-880
(format JapaneseLanguage KiloFn "1 の thousand %1s") english_format.kif 881-881
(termFormat ChineseLanguage KiloFn "千") domainEnglishFormat.kif 32455-32455 "千" is the printable form of kilo in ChineseLanguage
(termFormat ChineseLanguage KiloFn "千倍函数") chinese_format.kif 636-636 "千倍函数" is the printable form of kilo in ChineseLanguage
(termFormat ChineseTraditionalLanguage KiloFn "千") domainEnglishFormat.kif 32454-32454 "千" is the printable form of kilo in ChineseTraditionalLanguage
(termFormat EnglishLanguage KiloFn "kilo") domainEnglishFormat.kif 32453-32453 "kilo" is the printable form of kilo in english language

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))
Merge.kif 9321-9325

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 9365-9369
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 9387-9391
(=>
    (and
        (origin AntarcticCircumpolarCurrent ?START)
        (destination AntarcticCircumpolarCurrent ?FINISH))
    (distance ?START ?FINISH
        (MeasureFn 21000
            (KiloFn Meter))))
Geography.kif 4396-4400
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3686-3688
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3698-3700

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


(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1325-1325 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
(equal
    (MeasureFn 1 SquareKilometer)
    (MultiplicationFn
        (MeasureFn 1
            (KiloFn Meter))
        (MeasureFn 1
            (KiloFn Meter))))
Geography.kif 621-622 1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s)
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))
Geography.kif 3755-3755 Square kilometer is equal to the square unit of 1 thousand meters
(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968
        (KiloFn Meter)))
Geography.kif 4380-4380 The length of the shoreline of southern ocean and antarctica is 17968 1 thousand meters(s)
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn 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
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn 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
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn 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
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1689-1689 The per of 23 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn 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
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn 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
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1240-1240 The per of 0.002 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of shiga toxin
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn 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
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1326-1326 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
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1694-1694 The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners