Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
barometricPressure
Sigma KEE - barometricPressure
barometricPressure
appearance as argument number 1
(
documentation
barometricPressure
ChineseLanguage
"(
barometricPressure
?AREA ?PRESSURE) 的意思是在 ?AREA 所量度到的气压是?PRESSURE。气压一般以
InchMercury
或
MmMercury
单位来表示。 例如:标准海平面压力是水银29.92英寸 (760毫米)汞柱: (
barometricPressure
SeaLevel
(
MeasureFn
29.92
InchMercury
))。")
chinese_format.kif 2674-2677
(
documentation
barometricPressure
EnglishLanguage
"(
barometricPressure
?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PRESSURE. Barometric pressure is typically expressed in units of
InchMercury
or
MmMercury
. For example, standard sea level pressure is 29.92 inches (760 mm) of mercury: (
barometricPressure
SeaLevel
(
MeasureFn
29.92
InchMercury
)).")
Merge.kif 7819-7824
(
documentation
barometricPressure
JapaneseLanguage
"(
barometricPressure
?AREA ?PRESSURE) とは、 ?AREAで測定される大気圧はPであることを意味する。気圧は通常、
InchMercury
または
MmMercury
の単位で表される。例:標準の海面圧力は水銀の 29.92 インチ (760 mm) : (
barometricPressure
SeaLevel
(
MeasureFn
29.92
InchMercury
))。")
japanese_format.kif 1394-1397
(
domain
barometricPressure
1
Object
)
Merge.kif 7816-7816
气压
的 1 数量 是
客体
的
instance
(
domain
barometricPressure
2
PhysicalQuantity
)
Merge.kif 7817-7817
气压
的 2 数量 是
物理量
的
instance
(
externalImage
barometricPressure
"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 38/ Air_pressure_crushing_a_plastic_bottle_p1180559.jpg")
pictureList.kif 2753-2753
(
externalImage
barometricPressure
"http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Barometer.JPG")
pictureList.kif 2646-2646
(
externalImage
barometricPressure
"http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Tagesgang-luftdruck.jpg")
pictureList.kif 2752-2752
(
instance
barometricPressure
AsymmetricRelation
)
Merge.kif 7814-7814
气压
是
非对称关系
的
instance
(
instance
barometricPressure
BinaryPredicate
)
Merge.kif 7813-7813
气压
是
二元谓语
的
instance
(
subrelation
barometricPressure
measure
)
Merge.kif 7815-7815
气压
是
计量
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
barometricPressure
"%2 是 %1 的 barometric 压力")
domainEnglishFormat.kif 256-256
(
format
ChineseTraditionalLanguage
barometricPressure
"%2 是 %1 的 barometric 壓力")
domainEnglishFormat.kif 255-255
(
format
EnglishLanguage
barometricPressure
"%2 is %n a barometric pressure of %1")
domainEnglishFormat.kif 254-254
(
termFormat
ChineseLanguage
barometricPressure
"气压")
domainEnglishFormat.kif 9984-9984
(
termFormat
ChineseTraditionalLanguage
barometricPressure
"氣壓")
domainEnglishFormat.kif 9983-9983
(
termFormat
EnglishLanguage
barometricPressure
"barometric pressure")
domainEnglishFormat.kif 9982-9982
antecedent
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
英寸汞
是
那个 客体
的
barometric
压力 和 29.92 是
greaterThan
那个 实数
和
另一个 实数
凯文度
是
那个 有点 純物质
的
boiling
点 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
greaterThan
那个 另外 实数
,
然后
加油站
是
那个 客体
的
attribute
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
凯文度
是
那个 有点 純物质
的
melting
点 和
另一个 实数
英寸汞
是
那个 客体
的
barometric
压力 和
那个 另外 实数
是
greaterThan
29.92 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
固体
是
那个 客体
的
attribute
consequent
(<=>
(
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
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 802-808
如果
过程
是
高压天气系统
的
instance
和
那个 过程
是
located
在
客体
,
然后
实数
英寸汞
是
那个 客体
的
barometric
压力 和
那个 实数
是
greaterThan
30.2
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
如果
过程
是
低压天气系统
的
instance
和
那个 过程
是
located
在
客体
,
然后
实数
英寸汞
是
那个 客体
的
barometric
压力 和
那个 实数
是
lessThan
29.5
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