Pascal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Pascal ChineseLanguage "这是国际单位制的压强单位，符号：Pa。它等于一Newtonp 平方 Meter 的压强。 Pascal = N/ m^2= m^(-1)kgs^(-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)kgs^(-2).")	Merge.kif 6874-6876
(documentation Pascal JapaneseLanguage "SI圧力測定。シンボル:Pa。これは1平方メートル　Meter あたり Newton の圧力である。　Pascal = N/ m^2 = m^(-1)kgs^(-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	If an object is an instance of blood and another object is an instance of Hartmann's solution and the tonicity of the other object with respect to the object is a real number pascal(s), then the approximate value of the real number is 0.0
(=> (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	If roomTempState a kind of substance and a physical state and a physical is an instance of a kind of substance and roomTempState the kind of substance and liquid holds during a time position and the measure of the physical is 101 1 thousand pascals(s), then the measure of the physical is 68 fahrenheit degree(s) holds during the time position

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

If a time position is an instance of espresso making,
then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position

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

KB Term:			Term intersection

English Word: