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
Sigma KEE - BimetalTemperatureSensor
BimetalTemperatureSensor
(bi_metal temperature sensor)
appearance as argument number 1
(
documentation
BimetalTemperatureSensor
EnglishLanguage
"Two metals bonded together that have dissimilar thermal expansion properties. This leads to the strip curling one direction or another with changes in
TemperatureMeasure
, typically activating a switch or other device.")
Cars.kif 4126-4129
(
subclass
BimetalTemperatureSensor
MeasuringDevice
)
Cars.kif 4124-4124
Bi_metal temperature sensor
is a
subclass
of
measuring device
appearance as argument number 2
(
termFormat
EnglishLanguage
BimetalTemperatureSensor
"bi_metal temperature sensor")
Cars.kif 4125-4125
antecedent
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4142-4174
If
an object
is an
instance
of
bi_metal temperature sensor
and
another object
is an
instance
of
metal
and
a third object
is an
instance
of
metal
and
the other object
is not
equal
to
the third object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
an entity
is an
instance
of
temperature measure
and
another entity
is an
instance
of
temperature measure
and
a real number
is an
instance
of
length measure
and
another real number
is an
instance
of
length measure
and
a third real number
is an
instance
of
length measure
and
a fourth real number
is an
instance
of
length measure
and
the entity
is not
equal
to
the other entity
and
a time position
is not
equal
to
another time position
and the
measure
of
the object
is
the entity
and the
measure
of
the other object
is
the real number
and the
measure
of
the third object
is
the other real number
holds
during
the time position
and the
measure
of
the object
is
the other entity
and the
measure
of
the other object
is
the third real number
and the
measure
of
the third object
is
the fourth real number
holds
during
the other time position
,
then
the real number
and
the other real number
is not
equal
to
the third real number
and
the fourth real number
(=>
(
instance
?BTS
BimetalTemperatureSensor
)
(
exists
(?M1 ?M2)
(
and
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
not
(
equal
?M1 ?M2)))))
Cars.kif 4131-4140
If
an object
is an
instance
of
bi_metal temperature sensor
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
metal
and
the third object
is an
instance
of
metal
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the other object
is not
equal
to
the third object
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 3.0 is
open source software
produced by
Articulate Software
and its partners
