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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StandardAmbientTemperaturePressure
StandardAmbientTemperaturePressure

appearance as argument number 1
-------------------------


(documentation StandardAmbientTemperaturePressure ChineseLanguage "这是指一个地方的拥有标准的 环境温度和气压(标准状况)(SATP)的 Attribute。所指的气温是 298.15 KelvinDegree (25 CelsiusDegree,77 FahrenheitDegree)和绝对气压恰恰是100 kPa (750.06 mmHg, 29.530 InchMercury)。这是由国际纯化学和应用化学联合会制定的(IUPAC)。 StandardAmbientTemperaturePressure 是为了容许比较拥有不同数据组别而建立的一套量度实验结果的标准 条件。[翻译自维基百科]") Weather.kif 1169-1174
(documentation StandardAmbientTemperaturePressure EnglishLanguage "This is an Attribute that refers to the standard ambient temperature and pressure (SATP) of place, which is at the temperature of 298.15 KelvinDegree (25 CelsiusDegree, 77 FahrenheitDegree) and the absolute pressure of exactly 100 kPa (750.06 mmHg, 29.530 InchMercury), established by the International Union of Pure and Applied Chemistry (IUPAC). StandardAmbientTemperaturePressure is a standard set of conditions for experimental measurements to be established to allow comparisons to be made between different sets of data. [text courtesy Wikipedia]") Weather.kif 1160-1167
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 1181-1181

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


(termFormat ChineseLanguage StandardAmbientTemperaturePressure "标准状况") Weather.kif 1179-1179
(termFormat EnglishLanguage StandardAmbientTemperaturePressure "standard ambient temperature and pressure") Weather.kif 1176-1177

antecedent
-------------------------


(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))
Weather.kif 1183-1193
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6554-6560
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6579-6585
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6519-6525


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners