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 6703-6704
(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 6599-6599
(instance Gram SystemeInternationalUnit) Merge.kif 6701-6701 Gramシステム国際ユニットinstance では %n
(instance Gram UnitOfMass) Merge.kif 6700-6700 GramUnitOfMassinstance では %n

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


(termFormat ChineseLanguage Gram "公克") domainEnglishFormat.kif 26376-26376
(termFormat ChineseTraditionalLanguage Gram "公克") domainEnglishFormat.kif 26375-26375
(termFormat EnglishLanguage Gram "gram") domainEnglishFormat.kif 26374-26374

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 2873-2884
(=>
    (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 4645-4658
(=>
    (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 4669-4682
(=>
    (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 3124-3136
(=>
    (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 2463-2478
(=>
    (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 2855-2866
(=>
    (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 2836-2845
(=>
    (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 2524-2525 defaultMeasure BoxOfChocolates and 250.0 の Gram(s)
(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1439-1439 effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))
Merge.kif 7151-7153 実数Amu(s) は 実数 + 1.6605402E-24 の Gram(s) と equal では %n
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 7279-7282 実数Kilogram(s) は 実数 + 1000 の Gram(s) と equal では %n
(equal
    (MeasureFn ?NUMBER PoundMass)
    (MeasureFn
        (MultiplicationFn ?NUMBER 453.59237) Gram))
Merge.kif 7296-7298 実数PoundMass(s) は 実数 + 453.59237 の Gram(s) と equal では %n
(equal
    (MeasureFn ?NUMBER Slug)
    (MeasureFn
        (MultiplicationFn ?NUMBER 14593.90) Gram))
Merge.kif 7304-7306 実数Slug(s) は 実数 + 14593.90 の Gram(s) と equal では %n
(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 439-439 lethalDose AbrinToxin and PerFn 0.04 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 310-310 lethalDose Batrachotoxin and PerFn 2.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 325-325 lethalDose BotulinumToxin and PerFn 0.001 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23.0
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1840-1840 lethalDose Diacetoxyscirpenol and PerFn 23.0 の 1 の thousandth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 431-431 lethalDose RicinToxin and PerFn 3.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 586-586 lethalDose Sarin and PerFn 100.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1339-1339 lethalDose ShigaToxin and PerFn 0.002 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 582-582 lethalDose Soman and PerFn 64.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1440-1440 lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1845-1845 lethalDose T2Toxin and PerFn 5.2 の 1 の thousandth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 599-599 lethalDose VX and PerFn 15.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)


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