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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Pascal
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 6898-6900
(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 6895-6895 帕斯卡 and CompositeUnitOfMeasure
(instance Pascal SystemeInternationalUnit) Merge.kif 6896-6896 帕斯卡 and SystemeInternationalUnit

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

appearance as argument number 3
-------------------------


(domain tonicity 3 Pascal) Medicine.kif 1116-1116 tonicity, 3 and 帕斯卡

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 33624-33635

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