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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gram
Gram(公克)

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


(documentation Gram ChineseLanguage "") chinese_format.kif 2493-2493
(documentation Gram EnglishLanguage "Submultiple of kilogram. Symbol: g. 1 kilogram = 1000 Grams.") Merge.kif 6713-6714
(documentation Gram JapaneseLanguage "キログラムのサブマルチ。 シンボル: g。 1 キログラム = 1000 グラム。") japanese_format.kif 1187-1188
(externalImage Gram "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Gram_%28pen_cap_on_scale%29.jpg") pictureList.kif 6598-6598
(instance Gram SystemeInternationalUnit) Merge.kif 6711-6711 公克 and SystemeInternationalUnit
(instance Gram UnitOfMass) Merge.kif 6710-6710 公克 and UnitOfMass

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


(termFormat ChineseLanguage Gram "公克") domainEnglishFormat.kif 26404-26404
(termFormat ChineseTraditionalLanguage Gram "公克") domainEnglishFormat.kif 26403-26403
(termFormat EnglishLanguage Gram "gram") domainEnglishFormat.kif 26402-26402

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


(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))
Medicine.kif 172-187
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))
Medicine.kif 155-170
(=>
    (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 ?B Brine)
        (measure ?B
            (MeasureFn 1.0 Liter))
        (part ?SALT ?B)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 35.0)
        (lessThanOrEqualTo ?R 260.0)))
Geography.kif 2861-2872
(=>
    (and
        (instance ?C CoffeeArabica)
        (measure ?C
            (MeasureFn ?X Gram))
        (instance ?CC Caffeine)
        (part ?CC ?C)
        (measure ?CC
            (MeasureFn ?Y Gram))
        (equal ?Z
            (DivisionFn ?Y ?X)))
    (and
        (greaterThanOrEqualTo ?Z 0.008)
        (lessThanOrEqualTo ?Z 0.014)))
Economy.kif 4983-4996
(=>
    (and
        (instance ?C CoffeeRobusta)
        (measure ?C
            (MeasureFn ?X Gram))
        (instance ?CC Caffeine)
        (part ?CC ?C)
        (measure ?CC
            (MeasureFn ?Y Gram))
        (equal ?Z
            (DivisionFn ?Y ?X)))
    (and
        (greaterThanOrEqualTo ?Z 0.017)
        (lessThanOrEqualTo ?Z 0.04)))
Economy.kif 5007-5020
(=>
    (and
        (instance ?C Cream)
        (part ?C ?O1)
        (instance ?O1 ButterFat)
        (measure ?O1
            (MeasureFn ?X Gram))
        (instance ?M Milk)
        (part ?M ?O2)
        (instance ?O2 ButterFat)
        (measure ?O2
            (MeasureFn ?Y Gram)))
    (greaterThan ?X ?Y))
Food.kif 3131-3143
(=>
    (and
        (instance ?L CocoaLiquor)
        (weight ?L
            (MeasureFn 100.0 Gram))
        (instance ?S CocoaSolid)
        (part ?S ?L)
        (weight ?S
            (MeasureFn ?X Gram))
        (instance ?B CocoaButter)
        (part ?B ?L)
        (weight ?B
            (MeasureFn ?Y Gram)))
    (and
        (approximateValue ?X 50.0)
        (approximateValue ?Y 50.0)))
Food.kif 2470-2485
(=>
    (and
        (instance ?SW BrackishWater)
        (measure ?SW
            (MeasureFn 1.0 Liter))
        (part ?SALT ?SW)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 0.5)
        (lessThanOrEqualTo ?R 30.0)))
Geography.kif 2843-2854
(=>
    (and
        (instance ?SW SeaWater)
        (measure ?SW
            (MeasureFn 1.0 Liter))
        (part ?SALT ?SW)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (approximateValue ?R 35.0))
Geography.kif 2824-2833
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 12))
Medicine.kif 206-221
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 13))
Medicine.kif 189-204

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


(=>
    (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
-------------------------


(defaultMeasure BoxOfChocolates
    (MeasureFn 250.0 Gram))
Food.kif 2531-2532 一盒巧克力 的預期 value測量 250.0 and 公克
(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1439-1439 測量 1.0 and 公克測量 0.0004 and 公克per葡萄球菌腸毒素beffective 劑量
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn
                    (DivisionFn
                        (DivisionFn 1.6605402 1000000.0) 1000000.0) 1000000.0) 1000000.0)) Gram))
Merge.kif 7162-7172 等於 測量 RealNumber and amu and 測量 乘法 RealNumber and 1.6605402 and 1000000.0 and 1000000.0 and 1000000.0 and 1000000.0 and 公克
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 7308-7311 等於 測量 RealNumber and 公斤 and 測量 乘法 RealNumber and 1000 and 公克
(equal
    (MeasureFn ?NUMBER PoundMass)
    (MeasureFn
        (MultiplicationFn ?NUMBER 453.59237) Gram))
Merge.kif 7325-7327 等於 測量 RealNumber and 磅質量 and 測量 乘法 RealNumber and 453.59237 and 公克
(equal
    (MeasureFn ?NUMBER Slug)
    (MeasureFn
        (MultiplicationFn ?NUMBER 14593.90) Gram))
Merge.kif 7333-7335 等於 測量 RealNumber and 金屬塊 and 測量 乘法 RealNumber and 14593.90 and 公克
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 439-439 測量 1.0 and 公克測量 0.04 and 公克perabrin毒素lethal 劑量
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 310-310 測量 1.0 and 公克測量 2.0 and 公克perbatrachotoxinlethal 劑量
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 325-325 測量 1.0 and 公克測量 0.001 and 公克per肉毒桿菌毒素lethal 劑量
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23.0
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1840-1840 測量 1.0 and 公克測量 23.0 and 公克per二乙酯scirpenollethal 劑量
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 431-431 測量 1.0 and 公克測量 3.0 and 公克per蓖麻毒素lethal 劑量
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 586-586 測量 1.0 and 公克測量 100.0 and 公克per沙林lethal 劑量
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1339-1339 測量 1.0 and 公克測量 0.002 and 公克per志賀毒素lethal 劑量
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 582-582 測量 1.0 and 公克測量 64.0 and 公克per梭曼lethal 劑量
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1440-1440 測量 1.0 and 公克測量 0.02 and 公克per葡萄球菌腸毒素blethal 劑量
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1845-1845 測量 1.0 and 公克測量 5.2 and 公克pert2毒素lethal 劑量
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 599-599 測量 1.0 and 公克測量 15.0 and 公克perVXlethal 劑量


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 3.0 is open source software produced by Articulate Software and its partners