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。") 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 6123-6125
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6120-6120 domain KiloFn, 1 and UnitOfMeasure
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 6119-6119 instance KiloFn and UnitOfMeasureMultiplier
(range KiloFn UnitOfMeasure) Merge.kif 6121-6121 range KiloFn and UnitOfMeasure

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


(format ChineseLanguage KiloFn "%1 的一千倍") chinese_format.kif 635-635
(format EnglishLanguage KiloFn "1 thousand %1s") english_format.kif 641-641
(termFormat ChineseLanguage KiloFn "千") domainEnglishFormat.kif 32443-32443
(termFormat ChineseLanguage KiloFn "千倍函数") chinese_format.kif 636-636
(termFormat ChineseTraditionalLanguage KiloFn "千") domainEnglishFormat.kif 32442-32442
(termFormat EnglishLanguage KiloFn "kilo") domainEnglishFormat.kif 32441-32441

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


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

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 6155-6159
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 6169-6173
(=>
    (and
        (origin AntarcticCircumpolarCurrent ?START)
        (destination AntarcticCircumpolarCurrent ?FINISH))
    (distance ?START ?FINISH
        (MeasureFn 21000
            (KiloFn Meter))))
Geography.kif 4409-4413
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3699-3701
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3711-3713

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


(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1342-1342 effectiveDose StaphylococcalEnterotoxinB and PerFn MeasureFn 0.0004 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(equal
    (MeasureFn 1 SquareKilometer)
    (MultiplicationFn
        (MeasureFn 1
            (KiloFn Meter))
        (MeasureFn 1
            (KiloFn Meter))))
Geography.kif 624-625 equal MeasureFn 1 and SquareKilometer and MultiplicationFn MeasureFn 1 and KiloFn Meter and MeasureFn 1 and KiloFn Meter
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))
Geography.kif 3768-3768 equal SquareKilometer and SquareUnitFn KiloFn Meter
(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968
        (KiloFn Meter)))
Geography.kif 4393-4393 length ShorelineFn SouthernOcean and Antarctica and MeasureFn 17968 and KiloFn Meter
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 434-434 lethalDose AbrinToxin and PerFn MeasureFn 0.04 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 310-310 lethalDose Batrachotoxin and PerFn MeasureFn 2.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 325-325 lethalDose BotulinumToxin and PerFn MeasureFn 0.001 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1706-1706 lethalDose Diacetoxyscirpenol and PerFn MeasureFn 23 and MilliFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 426-426 lethalDose RicinToxin and PerFn MeasureFn 3.0 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 581-581 lethalDose Sarin and PerFn MeasureFn 100.0 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1257-1257 lethalDose ShigaToxin and PerFn MeasureFn 0.002 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 577-577 lethalDose Soman and PerFn MeasureFn 64.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1343-1343 lethalDose StaphylococcalEnterotoxinB and PerFn MeasureFn 0.02 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1711-1711 lethalDose T2Toxin and PerFn MeasureFn 5.2 and MilliFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 594-594 lethalDose VX and PerFn MeasureFn 15.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram


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