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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StandardAmbientTemperaturePressure

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 2669-2674
(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 2661-2668
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 2678-2678 标准状况属性instance

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


(termFormat ChineseLanguage StandardAmbientTemperaturePressure "标准状况") Weather.kif 2677-2677
(termFormat EnglishLanguage StandardAmbientTemperaturePressure "standard ambient temperature and pressure") Weather.kif 2675-2676

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 2680-2690 实体地区instance那个 实体标准状况attribute 时间位置 holdsDuring 若且唯若 298.15 凯文度那个 实体air 温度 和 29.530 英寸汞那个 实体barometric 压力 在 那个 时间位置 holdsDuring
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7216-7222
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7241-7247
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7181-7187


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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