BimetalTemperatureSensor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 4050-4053
(subclass BimetalTemperatureSensor MeasuringDevice)	Cars.kif 4048-4048	Bi-metal temperature sensor is a subclass of measuring device

appearance as argument number 2

(termFormat EnglishLanguage BimetalTemperatureSensor "bi-metal temperature sensor")

Cars.kif 4049-4049

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 4066-4098	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 4055-4064	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