Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  StandardAmbientTemperaturePressure

 Sigma KEE - StandardAmbientTemperaturePressure
StandardAmbientTemperaturePressure(standard ambient temperature and pressure)

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


(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 3928-3935
(documentation StandardAmbientTemperaturePressure ChineseLanguage "这是指一个地方的拥有标准的 环境温度和气压(标准状况)(SATP)的 Attribute。所指的气温是 298.15 KelvinDegree (25 CelsiusDegree,77 FahrenheitDegree)和绝对气压恰恰是100 kPa (750.06 mmHg, 29.530 InchMercury)。这是由国际纯化学和应用化学联合会制定的(IUPAC)。 StandardAmbientTemperaturePressure 是为了容许比较拥有不同数据组别而建立的一套量度实验结果的标准 条件。[翻译自维基百科]") Weather.kif 3936-3941
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 3945-3945 Standard ambient temperature and pressure is an instance of attribute

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


(termFormat EnglishLanguage StandardAmbientTemperaturePressure "standard ambient temperature and pressure") Weather.kif 3942-3943
(termFormat ChineseLanguage StandardAmbientTemperaturePressure "标准状况") Weather.kif 3944-3944

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


(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8844-8850 If X is an instance of sulphur dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8877-8883 If X is an instance of nitric oxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8901-8907 If X is an instance of nitrogen dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (and
        (speedOfSound
            (MeasureFn ?N MeterPerSecond) ?R ?T)
        (located ?R EarthsAtmosphere)
        (holdsDuring ?T
            (property ?R StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (approximateValue ?N 346)))		 Transportation.kif 5141-5148 If the speedOfSound for X meter per second(s) at Y is X meter per second(s), Y is located at earths atmosphere, and Y the attribute standard ambient temperature and pressure holds during Z, then the approximate value of X is 346 holds during Z
(<=>
    (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 3947-3957 X is an instance of region and X the attribute standard ambient temperature and pressure holds during Y if and only if 298.15 kelvin degree(s) is an air temperature of X and 29.530 inch mercury(s) is a barometric pressure of X holds during Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners