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
Le nombre 1 argument de
barometricPressure
est une
instance
de
objet
(
domain
barometricPressure
2
PhysicalQuantity
)
Merge.kif 7839-7839
Le nombre 2 argument de
barometricPressure
est une
instance
de
quantit� physique
(
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
est une
instance
de
relation asym�trique
(
instance
barometricPressure
BinaryPredicate
)
Merge.kif 7835-7835
barometricPressure
est une
instance
de
pr�dicat binaire
(
subrelation
barometricPressure
measure
)
Merge.kif 7837-7837
barometricPressure
est une
sous
-relation de
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
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
barometricPressure
objet
and
nombre r�el
InchMercury
(s) 29.92 est
plus
grand
que
nombre r�el
boilingPoint
substance pure
and
nombre r�el
KelvinDegree
(s) la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
plus
grand
que
nombre r�el
Gas
est un
attribut
de
objet
(=>
(
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
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
meltingPoint
substance pure
and
nombre r�el
KelvinDegree
(s)
barometricPressure
objet
and
nombre r�el
InchMercury
(s)
nombre r�el
est
plus
grand
que 29.92 la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
moins
que
nombre r�el
Solid
est un
attribut
de
objet
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
Entit�
est une
instance
de
r�gion
entit�
a un
attribute
StandardAmbientTemperaturePressure
pendant
position temporel
airTemperature
entit�
and 298.15
KelvinDegree
(s)
barometricPressure
entit�
and 29.530
InchMercury
(s)
pendant
position temporel
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 798-804
Processus
est une
instance
de
HighPressureWeatherSystem
eventLocated
processus
and
objet
barometricPressure
objet
and
nombre r�el
InchMercury
(s)
nombre r�el
est
plus
grand
que 30.2
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
instance
?AREA
Region
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-550
Processus
est une
instance
de
LowPressureWeatherSystem
objet
est une
instance
de
r�gion
eventLocated
processus
and
objet
barometricPressure
objet
and
nombre r�el
InchMercury
(s)
nombre r�el
est
moins
que 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