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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ItonamaLanguage

 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 6472-6474
(documentation KiloFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000 単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。例：(KiloFn Gram) は、1,000 Grams である。") japanese_format.kif 1132-1134
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6469-6469
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 6468-6468
(range KiloFn UnitOfMeasure) Merge.kif 6470-6470

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 6476-6480
(=>
    (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 31710-31721

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))		 Merge.kif 6504-6508
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))		 Merge.kif 6518-6522
(=>
    (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
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))		 Geography.kif 3973-3973
(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968.0
        (KiloFn Meter)))		 Geography.kif 4671-4674
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 439-439
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 310-310
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 325-325
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23.0
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1840-1840
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 431-431
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 586-586
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1339-1339
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 582-582
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1440-1440
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1845-1845
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 599-599


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