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 2662-2667
(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 2654-2661
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 2671-2671

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


(termFormat ChineseLanguage StandardAmbientTemperaturePressure "标准状况") Weather.kif 2670-2670
(termFormat EnglishLanguage StandardAmbientTemperaturePressure "standard ambient temperature and pressure") Weather.kif 2668-2669

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 2673-2683
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6746-6752
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6771-6777
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6711-6717


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