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 7841-7846
(
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 7838-7838
Die Zahl 1 Argument von
barometricPressure
ist ein
fall
von
Object
%n{nicht}
(
domain
barometricPressure
2
PhysicalQuantity
)
Merge.kif 7839-7839
Die Zahl 2 Argument von
barometricPressure
ist ein
fall
von
PhysicalQuantity
%n{nicht}
(
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 7836-7836
barometricPressure
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
barometricPressure
BinaryPredicate
)
Merge.kif 7835-7835
barometricPressure
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
barometricPressure
measure
)
Merge.kif 7837-7837
barometricPressure
ist eine
teilrelation
von
measure
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 13820-13829
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
barometricPressure
** Object
and
RealNumber
InchMercury
(s) und 29.92 ist
groesserAls
** RealNumber
%n{nicht} und
boilingPoint
** ** PureSubstance
and
** RealNumber
KelvinDegree
(s) und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht},
dann
Gas
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
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 13842-13851
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
meltingPoint
** ** PureSubstance
and
RealNumber
KelvinDegree
(s) und
barometricPressure
** Object
and
** RealNumber
InchMercury
(s) und
** ** RealNumber
ist
groesserAls
29.92 %n{nicht} und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Solid
ist ein
attribut
von
** Object
%n{nicht}
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 2676-2686
Entity
ist ein
fall
von
Region
%n{nicht} und
** Entity
hat ein
attribut
StandardAmbientTemperaturePressure
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} genau dann wenn
airTemperature
** Entity
and 298.15
KelvinDegree
(s) und
barometricPressure
** Entity
and 29.530
InchMercury
(s) haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 798-804
Wenn
Process
ist ein
fall
von
HighPressureWeatherSystem
%n{nicht} und
eventLocated
** Process
and
Object
,
dann
barometricPressure
** Object
and
RealNumber
InchMercury
(s) und
** RealNumber
ist
groesserAls
30.2 %n{nicht}
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
instance
?AREA
Region
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-550
Wenn
Process
ist ein
fall
von
LowPressureWeatherSystem
%n{nicht} und
Object
ist ein
fall
von
Region
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
barometricPressure
** Object
and
RealNumber
InchMercury
(s) und
** RealNumber
ist
kleinerAls
29.5 %n{nicht}
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