TreeView Knowledge Base Browser

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 6704-6705
(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 6702-6702	Gram ist ein fall von SystemeInternationalUnit %n{nicht}
(instance Gram UnitOfMass)	Merge.kif 6701-6701	Gram ist ein fall von UnitOfMass %n{nicht}

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	Wenn Anemia ist ein attribut von Object %n{nicht} und Object ist ein fall von Blood %n{nicht} und Object ist ein teil von Object %n{nicht} und Female ist ein attribut von Object %n{nicht} und das mass von Object ist 0.1 Liter(s) %n{nicht} und ObjectE ist ein fall von Hemoglobin %n{nicht} und ObjectE ist ein teil von Object %n{nicht} und ObjectE2 ist ein fall von Hemoglobin nicht und ObjectE ist gleich ObjectE2 nicht und Object2 ist ein teil von Object %n{nicht} und das mass von ObjectE ist RealNumber Gram(s) %n{nicht}, dann ** RealNumber ist kleinerAls 12 %n{nicht}
(=> (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	Wenn Anemia ist ein attribut von Object %n{nicht} und Object ist ein fall von Blood %n{nicht} und Object ist ein teil von Object %n{nicht} und Male ist ein attribut von Object %n{nicht} und das mass von Object ist 0.1 Liter(s) %n{nicht} und ObjectE ist ein fall von Hemoglobin %n{nicht} und ObjectE ist ein teil von Object %n{nicht} und ObjectE2 ist ein fall von Hemoglobin nicht und ObjectE ist gleich ObjectE2 nicht und Object2 ist ein teil von Object %n{nicht} und das mass von ObjectE ist RealNumber Gram(s) %n{nicht}, dann ** RealNumber ist kleinerAls 13 %n{nicht}
(=> (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	Wenn RealNumber McgPerKg(s) ist gleich PerFn MassMeasure and MassMeasure %n{nicht} und MassMeasure ist gleich RealNumber ein millionstel einer Gram(s) %n{nicht} und MassMeasure ist gleich RealNumber 1 tausend Gram(s) %n{nicht}, dann es gibt Process, SelfConnectedObject, and und SelfConnectedObject um Process ist ein fall von Ingesting %n{nicht} und SelfConnectedObject ist ein fall von BiologicallyActiveSubstance %n{nicht} und SelfConnectedObject ist ein fall von Organism %n{nicht} und SelfConnectedObject ist ein patient von Process %n{nicht} und Process ist der agent von SelfConnectedObject %n{nicht} und weight SelfConnectedObject and MassMeasure und weight SelfConnectedObject and MassMeasure
(=> (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	Wenn Object ist ein fall von Brine %n{nicht} und das mass von Object ist 1.0 Liter(s) %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von SodiumChloride %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht}, dann RealNumber ist groesserAls 35.0 %n{nicht} und ** RealNumber ist kleinerAlsOderGleich 260.0 %n{nicht}
(=> (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	Wenn Object ist ein fall von CoffeeArabica %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht} und ObjectC ist ein fall von Caffeine %n{nicht} und ObjectC ist ein teil von Object %n{nicht} und das mass von ObjectC ist RealNumber Gram(s) %n{nicht} und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann RealNumber ist groesserAlsOderGleich 0.008 %n{nicht} und RealNumber ist kleinerAlsOderGleich 0.014 %n{nicht}
(=> (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	Wenn Object ist ein fall von CoffeeRobusta %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht} und ObjectC ist ein fall von Caffeine %n{nicht} und ObjectC ist ein teil von Object %n{nicht} und das mass von ObjectC ist RealNumber Gram(s) %n{nicht} und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann RealNumber ist groesserAlsOderGleich 0.017 %n{nicht} und RealNumber ist kleinerAlsOderGleich 0.04 %n{nicht}
(=> (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	Wenn Object ist ein fall von Cream %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von ButterFat %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht} und Object ist ein fall von Milk %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von ButterFat %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht}, dann RealNumber ist groesserAls RealNumber %n{nicht}
(=> (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	Wenn SelfConnectedObject ist ein fall von CocoaLiquor %n{nicht} und weight SelfConnectedObject and 100.0 Gram(s) und SelfConnectedObject ist ein fall von CocoaSolid %n{nicht} und SelfConnectedObject ist ein teil von SelfConnectedObject %n{nicht} und weight SelfConnectedObject and RealNumber Gram(s) und SelfConnectedObject ist ein fall von CocoaButter %n{nicht} und SelfConnectedObject ist ein teil von SelfConnectedObject %n{nicht} und weight SelfConnectedObject and RealNumber Gram(s), dann approximateValue RealNumber and 50.0 und approximateValue ** RealNumber and 50.0
(=> (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	Wenn Object ist ein fall von BrackishWater %n{nicht} und das mass von Object ist 1.0 Liter(s) %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von SodiumChloride %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht}, dann RealNumber ist groesserAls 0.5 %n{nicht} und ** RealNumber ist kleinerAlsOderGleich 30.0 %n{nicht}
(=> (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	Wenn Object ist ein fall von SeaWater %n{nicht} und das mass von Object ist 1.0 Liter(s) %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von SodiumChloride %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht}, dann approximateValue RealNumber and 35.0
(=> (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	Wenn Anemia ist ein attribut von Object nicht und Object ist ein fall von Blood %n{nicht} und Object ist ein teil von Object %n{nicht} und Female ist ein attribut von Object %n{nicht} und das mass von Object ist 0.1 Liter(s) %n{nicht} und ObjectE ist ein fall von Hemoglobin %n{nicht} und ObjectE ist ein teil von Object %n{nicht} und ObjectE2 ist ein fall von Hemoglobin nicht und ObjectE ist gleich ObjectE2 nicht und Object2 ist ein teil von Object %n{nicht} und das mass von ObjectE ist RealNumber Gram(s) %n{nicht}, dann ** RealNumber ist groesserAls 12 %n{nicht}
(=> (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	Wenn Anemia ist ein attribut von Object nicht und Object ist ein fall von Blood %n{nicht} und Object ist ein teil von Object %n{nicht} und Male ist ein attribut von Object %n{nicht} und das mass von Object ist 0.1 Liter(s) %n{nicht} und ObjectE ist ein fall von Hemoglobin %n{nicht} und ObjectE ist ein teil von Object %n{nicht} und ObjectE2 ist ein fall von Hemoglobin nicht und ObjectE ist gleich ObjectE2 nicht und Object2 ist ein teil von Object %n{nicht} und das mass von ObjectE ist RealNumber Gram(s) %n{nicht}, dann ** RealNumber ist groesserAls 13 %n{nicht}

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

Wenn TimePosition ist ein fall von EspressoMaking %n{nicht},
dann es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Heating %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und das mass von ** ** entity ist ** ** entity Liter(s) %n{nicht} und approximateValue ** ** entity and 0.03 und das mass von ** ** entity ist ** ** entity CelsiusDegree(s) %n{nicht} und approximateValue ** ** entity and 90 haelt waehrend das ende von die zeit des Bestehens von ** entity %n{nicht} und ** ** entity ist ein fall von LiquidMotion %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und das mass von ** ** entity ist ** ** entity 1 tausend Pascal(s) %n{nicht} und approximateValue ** ** entity and 900 haelt waehrend ** ** entity %n{nicht} und ** ** entity endet an ** ** entity %n{nicht} und ** ** entity ist ein fall von Collection %n{nicht} und das mass von ** ** entity ist ** ** entity Gram(s) %n{nicht} und approximateValue ** ** entity and 7.5 und ** ** entity ist ein Mitglied von ** ** entity %n{nicht} und ** ** entity ist ein fall von CoffeeGrind %n{nicht} und FineGrind ist ein attribut von ** ** entity %n{nicht} und ** ** entity befindet sich an %n{nicht} und ** ** entity ist ein fall von Filter %n{nicht} und ** ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein instrument fuer ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und das ende von die zeit des Bestehens von ** ** entity ist zwischen das ende von die zeit des Bestehens von ** entity und das ende von die zeit des Bestehens von ** ** entity haelt waehrend ** TimePosition %n{nicht}

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 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))	Merge.kif 7152-7154	RealNumber Amu(s) ist gleich ** RealNumber und 1.6605402E-24 Gram(s) %n{nicht}
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))	Merge.kif 7280-7283	RealNumber Kilogram(s) ist gleich ** RealNumber und 1000 Gram(s) %n{nicht}
(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram))	Merge.kif 7297-7299	RealNumber PoundMass(s) ist gleich ** RealNumber und 453.59237 Gram(s) %n{nicht}
(equal (MeasureFn ?NUMBER Slug) (MeasureFn (MultiplicationFn ?NUMBER 14593.90) Gram))	Merge.kif 7305-7307	RealNumber Slug(s) ist gleich ** RealNumber und 14593.90 Gram(s) %n{nicht}
(lethalDose AbrinToxin (PerFn (MeasureFn 0.04 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 439-439	lethalDose AbrinToxin and PerFn 0.04 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose Batrachotoxin (PerFn (MeasureFn 2.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 310-310	lethalDose Batrachotoxin and PerFn 2.0 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose BotulinumToxin (PerFn (MeasureFn 0.001 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 325-325	lethalDose BotulinumToxin and PerFn 0.001 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose Diacetoxyscirpenol (PerFn (MeasureFn 23.0 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1840-1840	lethalDose Diacetoxyscirpenol and PerFn 23.0 ein tausendstes einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose RicinToxin (PerFn (MeasureFn 3.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 431-431	lethalDose RicinToxin and PerFn 3.0 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose Sarin (PerFn (MeasureFn 100.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 586-586	lethalDose Sarin and PerFn 100.0 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose ShigaToxin (PerFn (MeasureFn 0.002 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1339-1339	lethalDose ShigaToxin and PerFn 0.002 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose Soman (PerFn (MeasureFn 64.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 582-582	lethalDose Soman and PerFn 64.0 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose StaphylococcalEnterotoxinB (PerFn (MeasureFn 0.02 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1440-1440	lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose T2Toxin (PerFn (MeasureFn 5.2 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1845-1845	lethalDose T2Toxin and PerFn 5.2 ein tausendstes einer Gram(s) and 1.0 1 tausend Gram(s)
(lethalDose VX (PerFn (MeasureFn 15.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 599-599	lethalDose VX and PerFn 15.0 ein millionstel einer Gram(s) and 1.0 1 tausend Gram(s)

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

KB Term:			Term intersection

English Word: