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
airTemperature
Sigma KEE - airTemperature
airTemperature
appearance as argument number 1
(
documentation
airTemperature
EnglishLanguage
"(
airTemperature
?AREA ?TEMP) means that the temperature of the air at ?AREA is ?TEMP. Temperature may be expressed in units of
TemperatureMeasure
, including
CelsiusDegree
and
FahrenheitDegree
, among others.")
Mid-level-ontology.kif 25676-25680
(
domain
airTemperature
1
Object
)
Mid-level-ontology.kif 25673-25673
airTemperature
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
airTemperature
2
TemperatureMeasure
)
Mid-level-ontology.kif 25674-25674
airTemperature
の数値 2 引数は
温度測定
の
instance
では %n
(
instance
airTemperature
BinaryPredicate
)
Mid-level-ontology.kif 25672-25672
airTemperature
は
2進述語
の
instance
では %n
(
subrelation
airTemperature
measure
)
Mid-level-ontology.kif 25675-25675
airTemperature
は
measure
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
airTemperature
"%2 %n 是 %1 的 air 温度")
domainEnglishFormat.kif 120-120
(
format
ChineseTraditionalLanguage
airTemperature
"%2 %n 是 %1 的 air 溫度")
domainEnglishFormat.kif 119-119
(
format
EnglishLanguage
airTemperature
"%2 is %n an air temperature of %1")
domainEnglishFormat.kif 118-118
(
termFormat
ChineseLanguage
airTemperature
"气温")
domainEnglishFormat.kif 6282-6282
(
termFormat
ChineseTraditionalLanguage
airTemperature
"氣溫")
domainEnglishFormat.kif 6281-6281
(
termFormat
EnglishLanguage
airTemperature
"air temperature")
domainEnglishFormat.kif 6280-6280
antecedent
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
climateTypeInArea
地理的地域
and
PolarTypeFClimateZone
時間位置
は
時間位置
の
instance
では %n
airTemperature
地理的地域
and
エンティティー
の
CelsiusDegree
(s) は
時間位置
の
during
holds %n{ない}
10.0 は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingCold
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T2 ?T)))))
emotion.kif 1865-1877
認識エージェント
は
エンティティー
に
located
して %n
airTemperature
エンティティー
and
時間位置
の
時間位置
U(s)
FeelingCold
は
認識エージェント
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
認識エージェント
が
airTemperature
エンティティー
and
時間位置
2 の
時間位置
U(s)
時間位置
2 は
時間位置
より
greater
では %n は
時間位置
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingHot
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T ?T2)))))
emotion.kif 1902-1914
認識エージェント
は
エンティティー
に
located
して %n
airTemperature
エンティティー
and
時間位置
の
時間位置
U(s)
FeelingHot
は
認識エージェント
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
認識エージェント
が
airTemperature
エンティティー
and
時間位置
2 の
時間位置
U(s)
時間位置
は
時間位置
2 より
greater
では %n は
時間位置
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
maxDeviceOperatingTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOn
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
maxDeviceStorageTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOff
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
minDeviceOperatingTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOn
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
less
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
minDeviceStorageTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOff
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
less
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
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{ない}
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingCold
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T2 ?T)))))
emotion.kif 1865-1877
認識エージェント
は
エンティティー
に
located
して %n
airTemperature
エンティティー
and
時間位置
の
時間位置
U(s)
FeelingCold
は
認識エージェント
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
認識エージェント
が
airTemperature
エンティティー
and
時間位置
2 の
時間位置
U(s)
時間位置
2 は
時間位置
より
greater
では %n は
時間位置
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingHot
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T ?T2)))))
emotion.kif 1902-1914
認識エージェント
は
エンティティー
に
located
して %n
airTemperature
エンティティー
and
時間位置
の
時間位置
U(s)
FeelingHot
は
認識エージェント
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
認識エージェント
が
airTemperature
エンティティー
and
時間位置
2 の
時間位置
U(s)
時間位置
は
時間位置
2 より
greater
では %n は
時間位置
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
instance
?CTRL
TemperatureControl
)
(
exists
(?DEVICE ?TEMP)
(
and
(
instance
?DEVICE
ElectricDevice
)
(
part
?CTRL ?DEVICE)
(
hasPurpose
?DEVICE
(
exists
(?PROC ?AREA)
(
and
(
instance
?AREA
Region
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?CTRL)
(
result
?PROC
(
airTemperature
?AREA ?TEMP))))))))
engineering.kif 1139-1151
オブジェクト
は
TemperatureControl
の
instance
では %n
オブジェクト
エンティティー
オブジェクト
は
ElectricDevice
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
地域
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
airTemperature
エンティティー
and
エンティティー
は
エンティティー
の
result
では %n の 目的 %n{ない}
(=>
(
instance
?X
AirConditioner
)
(
hasPurpose
?X
(
exists
(?PROC ?TEMP ?AREA)
(
and
(
located
?X ?AREA)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
result
?PROC
(
airTemperature
?AREA ?TEMP))))))
Mid-level-ontology.kif 25994-26002
物理
は
AirConditioner
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
物理
は
エンティティー
に
located
して %n
エンティティー
は
工程
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
airTemperature
エンティティー
and
エンティティー
は
エンティティー
の
result
では %n の 目的 %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