Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - InchMercury
InchMercury
appearance as argument number 1
(
documentation
InchMercury
ChineseLanguage
"
InchMercury
是
barometricPressure
的一种
UnitOfMeasure
,它用来表示被气压环绕的汞气压计上汞柱的英寸数目。")
chinese_format.kif 2680-2681
(
documentation
InchMercury
EnglishLanguage
"
InchMercury
is a
UnitOfMeasure
for
barometricPressure
. It is used to express the number of inches of mercury supported in a mercurial barometer by the surrounding air pressure.")
Merge.kif 7302-7305
(
instance
InchMercury
UnitOfAtmosphericPressure
)
Merge.kif 7300-7300
instance
InchMercury
and
UnitOfAtmosphericPressure
appearance as argument number 2
(
termFormat
ChineseLanguage
InchMercury
"英寸汞")
domainEnglishFormat.kif 29401-29401
termFormat
ChineseLanguage
,
InchMercury
and "英寸汞"
(
termFormat
ChineseTraditionalLanguage
InchMercury
"英寸汞")
domainEnglishFormat.kif 29400-29400
termFormat
ChineseTraditionalLanguage
,
InchMercury
and "英寸汞"
(
termFormat
EnglishLanguage
InchMercury
"inch mercury")
domainEnglishFormat.kif 29399-29399
termFormat
EnglishLanguage
,
InchMercury
and "inch mercury"
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 12666-12675
instance
Object
and
PureSubstance
subclass
PureSubstance
and
PureSubstance
barometricPressure
Object
and
MeasureFn
RealNumber
and
InchMercury
greaterThan
29.92 and
RealNumber
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
KelvinDegree
measure
Object
and
MeasureFn
RealNumber
and
KelvinDegree
greaterThan
RealNumber
and
RealNumber
attribute
Object
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 12688-12697
instance
Object
and
PureSubstance
subclass
PureSubstance
and
PureSubstance
meltingPoint
PureSubstance
and
MeasureFn
RealNumber
and
KelvinDegree
barometricPressure
Object
and
MeasureFn
RealNumber
and
InchMercury
greaterThan
RealNumber
and 29.92
measure
Object
and
MeasureFn
RealNumber
and
KelvinDegree
lessThan
RealNumber
and
RealNumber
attribute
Object
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 1183-1193
instance
Entity
and
Region
holdsDuring
TimePosition
and
property
Entity
and
StandardAmbientTemperaturePressure
holdsDuring
TimePosition
and
airTemperature
Entity
and
MeasureFn
298.15 and
KelvinDegree
barometricPressure
Entity
and
MeasureFn
29.530 and
InchMercury
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 410-416
instance
Process
and
HighPressureWeatherSystem
eventLocated
Process
and
Object
barometricPressure
Object
and
MeasureFn
RealNumber
and
InchMercury
greaterThan
RealNumber
and 30.2
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 372-378
instance
Process
and
LowPressureWeatherSystem
eventLocated
Process
and
Object
barometricPressure
Object
and
MeasureFn
RealNumber
and
InchMercury
lessThan
RealNumber
and 29.5
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners