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 1072-1077
(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 1063-1070
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 1084-1084

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


(termFormat ChineseLanguage StandardAmbientTemperaturePressure "标准状况") Weather.kif 1082-1082
(termFormat EnglishLanguage StandardAmbientTemperaturePressure "standard ambient temperature and pressure") Weather.kif 1079-1080

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 1086-1096
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6538-6544
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6563-6569
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6503-6509


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