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
Il numero 1 argomenti di
barometricPressure
è un
istanza
di
Oggetto
(
domain
barometricPressure
2
PhysicalQuantity
)
Merge.kif 7839-7839
Il numero 2 argomenti di
barometricPressure
è un
istanza
di
Quantit�Fisica
(
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
è un'
istanza
di
RelazioneAsimmetrica
(
instance
barometricPressure
BinaryPredicate
)
Merge.kif 7835-7835
barometricPressure
è un'
istanza
di
PredicatoBinario
(
subrelation
barometricPressure
measure
)
Merge.kif 7837-7837
barometricPressure
è una
sottorelazione
di
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
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s 29.92 è
pi
ù grande di
NumeroReale
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
attribute
Oggetto
and
Gas
(=>
(
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
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s
NumeroReale
è
pi
ù grande di 29.92 la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Solid
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�
è un'
istanza
di
Regione
Entit�
ha un
attributo
StandardAmbientTemperaturePressure
vales
durante
PosizioneTemporale
airTemperature
Entit�
and 298.15
KelvinDegree
(s
barometricPressure
Entit�
and 29.530
InchMercury
(s vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 798-804
Processo
è un'
istanza
di
HighPressureWeatherSystem
eventLocated
Processo
and
Oggetto
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s
NumeroReale
è
pi
ù grande di 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
Processo
è un'
istanza
di
LowPressureWeatherSystem
Oggetto
è un'
istanza
di
Regione
eventLocated
Processo
and
Oggetto
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s
NumeroReale
è
meno
di29.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