Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Pascal
|
|
|
| appearance as argument number 1 |
|
|
| (instance Pascal CompositeUnitOfMeasure) | Merge.kif 6989-6989 | Pascal is an instance of composite unit of measure |
| (instance Pascal SystemeInternationalUnit) | Merge.kif 6990-6990 | Pascal is an instance of systeme international unit |
| (documentation Pascal EnglishLanguage "SI pressure measure. Symbol:Pa. It is the pressure of one Newton per square Meter. Pascal = N/ m^2 = m^(-1)*kg*s^(-2).") | Merge.kif 6992-6994 | Pascal is an instance of systeme international unit |
| (externalImage Pascal "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Pascal_Pajou_Louvre_RF2981.jpg") | pictureList.kif 10183-10183 | Pascal is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain tonicity 3 Pascal) | Medicine.kif 1105-1105 | The number 3 argument of tonicity is an instance of pascal |
| antecedent |
|
|
| (=> (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 34109-34120 | If room temperature state X and Y, Z is an instance of X, room temperature state X and liquid holds during W, and the measure of Z is 101 1 thousand pascals(s), then the measure of Z is 68 fahrenheit degree(s) holds during W |
| (=> (and (instance ?B Blood) (instance ?SL RingersLactate) (tonicity ?SL ?B (MeasureFn ?N Pascal))) (approximateValue ?N 0.0)) |
Medicine.kif 5876-5881 | If X is an instance of blood, Y is an instance of Hartmann's solution, and the tonicity of Y with respect to X is Z pascal(s), then the approximate value of Z is 0.0 |
| 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 |
| (=> (holdsDuring ?T (and (refractiveIndex ?CLASS ?X) (roomTempState ?CLASS Gas))) (holdsDuring ?T (exists (?S) (and (instance ?S ?CLASS) (measure ?S (MeasureFn 0 CelsiusDegree)) (measure ?S (MeasureFn 101325 Pascal)))))) |
Transportation.kif 5590-5600 | If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 0 celsius degree(s) and the measure of W is 101325 pascal(s) holds during Z |
|
