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
barometricPressure
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
barometricPressure
2
PhysicalQuantity
)
Merge.kif 7817-7817
barometricPressure
の数値 2 引数は
物理量
の
instance
では %n
(
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
barometricPressure
は
非対称関係
の
instance
では %n
(
instance
barometricPressure
BinaryPredicate
)
Merge.kif 7813-7813
barometricPressure
は
2進述語
の
instance
では %n
(
subrelation
barometricPressure
measure
)
Merge.kif 7815-7815
barometricPressure
は
measure
の
subrelation
では %n
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
では %n
純物質
は
純物質
の
subclass
では %n
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s) 29.92 は
実数
より
greater
では %n
boilingPoint
純物質
and
実数
の
KelvinDegree
(s)
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
greater
では %n
Gas
は
オブジェクト
の
attribute
では %n
(=>
(
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
では %n
純物質
は
純物質
の
subclass
では %n
meltingPoint
純物質
and
実数
の
KelvinDegree
(s)
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 29.92 より
greater
では %n
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
less
では %n
Solid
は
オブジェクト
の
attribute
では %n
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
では %n
エンティティー
には
attribute
StandardAmbientTemperaturePressure
%n{ない} は
時間位置
の
during
holds %n{ない}
airTemperature
エンティティー
and 298.15 の
KelvinDegree
(s)
barometricPressure
エンティティー
and 29.530 の
InchMercury
(s) は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 802-808
工程
は
HighPressureWeatherSystem
の
instance
では %n
eventLocated
工程
and
オブジェクト
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 30.2 より
greater
では %n
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
工程
は
LowPressureWeatherSystem
の
instance
では %n
eventLocated
工程
and
オブジェクト
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 29.5 より
less
では %n
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