Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Gram
|
|
|
| appearance as argument number 1 |
|
|
| (instance Gram UnitOfMass) | Merge.kif 6819-6819 | Gram is an instance of unit of mass |
| (instance Gram SystemeInternationalUnit) | Merge.kif 6820-6820 | Gram is an instance of systeme international unit |
| (documentation Gram EnglishLanguage "Submultiple of kilogram. Symbol: g. 1 kilogram = 1000 Grams.") | Merge.kif 6822-6823 | Gram is an instance of systeme international unit |
| (externalImage Gram "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Gram_%28pen_cap_on_scale%29.jpg") | pictureList.kif 6598-6598 | Gram is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 4978-4991 | If All of the following hold: (1) X is an instance of coffee arabica (2) the measure of X is Y gram(s) (3) Z is an instance of caffeine (4) Z is a part of X (5) the measure of Z is W gram(s) (6) equal V, W, and Y, then V is greater than or equal to 0.008 and V is less than or equal to 0.014 |
| (=> (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 5002-5015 | If All of the following hold: (1) X is an instance of coffee robusta (2) the measure of X is Y gram(s) (3) Z is an instance of caffeine (4) Z is a part of X (5) the measure of Z is W gram(s) (6) equal V, W, and Y, then V is greater than or equal to 0.017 and V is less than or equal to 0.04 |
| (=> (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 2485-2500 | If All of the following hold: (1) X is an instance of cocoa liquor (2) 100.0 gram(s) is a weight of X (3) Y is an instance of cocoa solid (4) Y is a part of X (5) Z gram(s) is a weight of Y (6) W is an instance of cocoa butter (7) W is a part of X (8) V gram(s) is a weight of W, then the approximate value of Z is 50.0 and the approximate value of V is 50.0 |
| (=> (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 3154-3166 | If All of the following hold: (1) X is an instance of cream (2) X is a part of Y (3) Y is an instance of butter fat (4) the measure of Y is Z gram(s) (5) W is an instance of milk (6) W is a part of V (7) V is an instance of butter fat (8) the measure of V is U gram(s), then Z is greater than U |
| (=> (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 4268-4277 | If X is an instance of sea water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then the approximate value of Z is 35.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 4287-4298 | If X is an instance of brackish water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 0.5 and Z is less than or equal to 30.0 |
| (=> (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 4305-4316 | If X is an instance of brine, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 35.0 and Z is less than or equal to 260.0 |
| (=> (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 156-171 | If All of the following hold: (1) anaemia is an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) male is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is less than 13 |
| (=> (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 173-188 | If All of the following hold: (1) anaemia is an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) female is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is less than 12 |
| (=> (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 190-205 | If All of the following hold: (1) anaemia is not an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) male is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is greater than 13 |
| (=> (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 207-222 | If All of the following hold: (1) anaemia is not an attribute of X (2) Y is an instance of blood (3) Y is a part of X (4) female is an attribute of X (5) the measure of Y is 0.1 liter(s) (6) Z is an instance of haemoglobin (7) Z is a part of Y (8) W is not an instance of haemoglobin (9) equal Z and W (10) V is a part of Y (11) the measure of Z is U gram(s), then U is greater than 12 |
| (=> (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 818-835 | If equal X micrograms per kilogram(s) and the per of Y and Z, equal Y and W one millionth of a gram(s), and equal Z and V 1 thousand grams(s), then All of the following hold: (1) there exist U, T (2) S such that U is an instance of ingesting (3) T is an instance of biologically active substance (4) S is an instance of organism (5) T is a patient of U (6) S is an agent of U (7) Y is a weight of T (8) Z is a weight of S |
| 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 CollectionOfObjects) (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 776-811 | If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X |
| statement |
|
|
|
