| 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 6874-6876 | |
| (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 10184-10184 | |
| (instance Pascal CompositeUnitOfMeasure) | Merge.kif 6871-6871 | |
| (instance Pascal SystemeInternationalUnit) | Merge.kif 6872-6872 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pascal "帕斯卡") | domainEnglishFormat.kif 44661-44661 | |
| (termFormat ChineseTraditionalLanguage Pascal "帕斯卡") | domainEnglishFormat.kif 44660-44660 | |
| (termFormat EnglishLanguage Pascal "pascal") | domainEnglishFormat.kif 44659-44659 |
| antecedent |
|
|
| (=> (and (instance ?B Blood) (instance ?SL RingersLactate) (tonicity ?SL ?B (MeasureFn ?N Pascal))) (approximateValue ?N 0.0)) |
Medicine.kif 5850-5855 | |
| (=> (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 31943-31954 |
| 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 |
|
|
|