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 6873-6875
(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 6870-6870 Pascal est une instance de CompositeUnitOfMeasure
(instance Pascal SystemeInternationalUnit) Merge.kif 6871-6871 Pascal est une instance de syst�me d'unit� international

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


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

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 31678-31689

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