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
Die Zahl 1 Argument von
airTemperature
ist ein
fall
von
Object
%n{nicht}
(
domain
airTemperature
2
TemperatureMeasure
)
Mid-level-ontology.kif 25674-25674
Die Zahl 2 Argument von
airTemperature
ist ein
fall
von
TemperatureMeasure
%n{nicht}
(
instance
airTemperature
BinaryPredicate
)
Mid-level-ontology.kif 25672-25672
airTemperature
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
airTemperature
measure
)
Mid-level-ontology.kif 25675-25675
airTemperature
ist eine
teilrelation
von
measure
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
Wenn
climateTypeInArea
GeographicArea
and
PolarTypeFClimateZone
und
TimePosition
ist ein
fall
von
TimePosition
%n{nicht} und
airTemperature
** GeographicArea
and
entity
CelsiusDegree
(s) haelt
waehrend
** TimePosition
%n{nicht},
dann 10.0 ist
groesserAls
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
CognitiveAgent
befindet
sich an %n{nicht} und
airTemperature
entity
and
TimePosition
** TimePosition
U(s) und
FeelingCold
ist ein
attribut
von
** CognitiveAgent
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht},
dann
** CognitiveAgent
wuenscht
airTemperature
** entity
and
** TimePosition
2
** TimePosition
U(s) und
** TimePosition
2 ist
groesserAls
** TimePosition
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} %n{nicht}
(=>
(
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
Wenn
CognitiveAgent
befindet
sich an %n{nicht} und
airTemperature
entity
and
TimePosition
** TimePosition
U(s) und
FeelingHot
ist ein
attribut
von
** CognitiveAgent
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht},
dann
** CognitiveAgent
wuenscht
airTemperature
** entity
and
** TimePosition
2
** TimePosition
U(s) und
** TimePosition
ist
groesserAls
** TimePosition
2 %n{nicht} haelt
waehrend
** TimePosition
%n{nicht} %n{nicht}
(=>
(
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
Wenn
maxDeviceOperatingTemp
entity
and
** entity
** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
DeviceOn
ist ein
attribut
von
** entity
%n{nicht} und
airTemperature
** entity
and
** entity
** ** entity
(s) und
** ** entity
ist
groesserAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
DeviceDamaged
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht} hat die modale Kraft von
Likely
(=>
(
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
Wenn
maxDeviceStorageTemp
entity
and
** entity
** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
DeviceOff
ist ein
attribut
von
** entity
%n{nicht} und
airTemperature
** entity
and
** entity
** ** entity
(s) und
** ** entity
ist
groesserAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
DeviceDamaged
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht} hat die modale Kraft von
Likely
(=>
(
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
Wenn
minDeviceOperatingTemp
entity
and
** entity
** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
DeviceOn
ist ein
attribut
von
** entity
%n{nicht} und
airTemperature
** entity
and
** entity
** ** entity
(s) und
** ** entity
ist
kleinerAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
DeviceDamaged
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht} hat die modale Kraft von
Likely
(=>
(
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
Wenn
minDeviceStorageTemp
entity
and
** entity
** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
DeviceOff
ist ein
attribut
von
** entity
%n{nicht} und
airTemperature
** entity
and
** entity
** ** entity
(s) und
** ** entity
ist
kleinerAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
DeviceDamaged
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht} hat die modale Kraft von
Likely
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
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}
(=>
(
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
Wenn
CognitiveAgent
befindet
sich an %n{nicht} und
airTemperature
entity
and
TimePosition
** TimePosition
U(s) und
FeelingCold
ist ein
attribut
von
** CognitiveAgent
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht},
dann
** CognitiveAgent
wuenscht
airTemperature
** entity
and
** TimePosition
2
** TimePosition
U(s) und
** TimePosition
2 ist
groesserAls
** TimePosition
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} %n{nicht}
(=>
(
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
Wenn
CognitiveAgent
befindet
sich an %n{nicht} und
airTemperature
entity
and
TimePosition
** TimePosition
U(s) und
FeelingHot
ist ein
attribut
von
** CognitiveAgent
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht},
dann
** CognitiveAgent
wuenscht
airTemperature
** entity
and
** TimePosition
2
** TimePosition
U(s) und
** TimePosition
ist
groesserAls
** TimePosition
2 %n{nicht} haelt
waehrend
** TimePosition
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
TemperatureControl
%n{nicht},
dann es gibt
** Object
und
entity
um
** ** Object
ist ein
fall
von
ElectricDevice
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
hat Zweck von es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
Region
%n{nicht} und
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** Object
ist ein
instrument
fuer
** ** entity
%n{nicht} und
airTemperature
** ** entity
and
** entity
ist ein
resultat
von
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
AirConditioner
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** Physical
befindet
sich an %n{nicht} und
** entity
ist ein
fall
von
Process
%n{nicht} und
** Physical
ist ein
instrument
fuer
** entity
%n{nicht} und
airTemperature
** ** entity
and
** ** entity
ist ein
resultat
von
** entity
%n{nicht} %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