| Pascal
| |
| appearance as argument number 1 |
|
|
| (documentation Pascal ChineseLanguage "这是国际单位制的压强单位，符号：Pa。它等于一Newtonp 平方 Meter 的压强。 Pascal = N/ m^2= m^(-1)*kg*s^(-2)。") | chinese_format.kif 2532-2533 | |
| (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 6883-6885 | |
| (documentation Pascal JapaneseLanguage "SI圧力測定。シンボル:Pa。これは1平方メートル Meter あたり Newton の圧力である。 Pascal = N/ m^2 = m^(-1)*kg*s^(-2)。") | japanese_format.kif 1233-1234 | |
| (externalImage Pascal "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Pascal_Pajou_Louvre_RF2981.jpg") | pictureList.kif 10183-10183 | |
| (instance Pascal CompositeUnitOfMeasure) | Merge.kif 6880-6880 | |
| (instance Pascal SystemeInternationalUnit) | Merge.kif 6881-6881 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pascal "帕斯卡") | domainEnglishFormat.kif 44659-44659 | |
| (termFormat ChineseTraditionalLanguage Pascal "帕斯卡") | domainEnglishFormat.kif 44658-44658 | |
| (termFormat EnglishLanguage Pascal "pascal") | domainEnglishFormat.kif 44657-44657 |
| appearance as argument number 3 |
|
|
| (domain tonicity 3 Pascal) | Medicine.kif 1116-1116 |
| antecedent |
|
|
| (=> (and (instance ?B Blood) (instance ?SL RingersLactate) (tonicity ?SL ?B (MeasureFn ?N Pascal))) (approximateValue ?N 0.0)) |
Medicine.kif 5862-5867 | |
| (=> (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 33383-33394 |
| 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 |
|
|
|