Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pascal
Pascal(pascal)
IOP, Pa, force_per_unit_area, gas_pressure, intraocular_pressure, pascal, pressure, pressure_level

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 10185-10185
(instance Pascal CompositeUnitOfMeasure) Merge.kif 6871-6871 Pascal is an instance of composite unit of measure
(instance Pascal SystemeInternationalUnit) Merge.kif 6872-6872 Pascal is an instance of systeme international unit

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Pascal "帕斯卡") domainEnglishFormat.kif 44630-44630
(termFormat ChineseTraditionalLanguage Pascal "帕斯卡") domainEnglishFormat.kif 44629-44629
(termFormat EnglishLanguage Pascal "pascal") domainEnglishFormat.kif 44628-44628

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 31710-31721

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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